A FEATURE-BASED CLASSIFICATION OF FORMAL VERIFICATION TECHNIQUES

【文件属性】：

文件名称：A FEATURE-BASED CLASSIFICATION OF FORMAL VERIFICATION TECHNIQUES

文件大小：529KB

文件格式：PDF

更新时间：2021-11-20 14:02:56

Software mod Model Checki formal

该学术论文描述了软件模型的形式化验证基于特征的一种分类方法