Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
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.
Kurzfassung englisch:
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.
Schlagworte:
model checking, model-based engineering
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_219076.pdf
Zugeordnete Projekte:
Projektleitung Martina Seidl:
FAME: Formalisierung und Handhabung von Evolution in modellbasierter Softwareentwicklung