A Classification of Model Checking-Based Verification Approaches for Software Models
A Classification of Model Checking-Based Verification Approaches for Software Models
复制标题
基于模型检查的软件模型验证方法分类
DOI：
--
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
M. Seidl
中科院分区：
文献类型：
--
作者：
Sebastian Gabmeyer;Petra Brosch;M. Seidl
提出了一种基于特征的软件模型验证方法。我们根据所追求的验证目标、输入和验证域的表示、属性的描述语言以及所采用的验证技术(模型检查、定理证明或静态分析)将验证方法分类为以系统为中心的验证方法。我们提出的特征模型反映了这种分类。由于篇幅有限，本文主要研究基于模型检测的验证技术。
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.