Notice
This item was automatically migrated from a legacy system. It's data has not been checked and might not meet the quality criteria of the present system.
Record link: 
http://hdl.handle.net/20.500.12708/54656
-
Title: 
A Classification of Model Checking-Based Verification Approaches for Software Models
-
Citation: 
Gabmeyer, S., Kaufmann, P., & Seidl, M. (2013). A Classification of Model Checking-Based Verification Approaches for Software Models. In Proceedings of the STAF Workshop on Verification of Model Transformations (VOLT 2013) (pp. 1–7). http://hdl.handle.net/20.500.12708/54656
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Authors: 
Gabmeyer, Sebastian 
Kaufmann, Petra 
Seidl, Martina 
-
Organisational Unit: 
E194-03 - Forschungsbereich Business Informatics 
-
Published in: 
Proceedings of the STAF Workshop on Verification of Model Transformations (VOLT 2013) 
-
Date (published): 
2013
-
Event name: 
2nd Workshop on the Verification of Model Transformation (VOLT) @ STAF 2013 
-
Event date: 
17-Jun-2013
-
Event place: 
Budapest, Hungary, EU
-
Number of Pages: 
7
-
Peer reviewed: 
Yes
-
Keywords: 
model-based engineering; model checking
-
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.
en
Project title: 
FAME: Formalizing and Managing Evolution in Model-Driven Engineering (WWTF Wiener Wissenschafts-, Forschu und Technologiefonds) 
-
Research Areas: 
Business Informatics: 100%
-
Science Branch: 
Mathematik, Informatik
-
Appears in Collections:
Conference Paper

Show full item record

Page view(s)

164
checked on Nov 23, 2023

Google ScholarTM

Check