A Classification of Model Checking-Based Verification Approaches for Software Models

S. Gabmeyer, P. Brosch, M. Seidl:
"A Classification of Model Checking-Based Verification Approaches for Software Models";
Vortrag: 2nd Workshop on the Verification of Model Transformation (VOLT) @ STAF 2013, Budapest, Hungary; 17.06.2013; in:"Proceedings of the STAF Workshop on Verification of Model Transformations (VOLT 2013)", (2013), S. 1 - 7.

[ Publication Database ]

Abstract:


We present a feature-based classification of software model verification approaches. We classify a verification approach in a system-centric view according to the pursued verification goal, the representation of the input and the verification domain, the specification language of the properties, and the employed verification technique, which is one of either model checking, theorem proving, or static analysis. Our proposed feature model reflects this classification. Due to space limitations we focus on model checking-based verification techniques in this paper.