登陆
注册
工具列表
Tool list
Nusmv
2020-06-01
155
-
Evaluation of model checkers by verifying message passing programs
Benchmarks and evaluation are important for the development of techniques and tools. Studies regardi...
-
基于模型检测工具NuSMV的功能测试用例生成方法
对现今已有的基于模型检测的测试用例生成方法以及覆盖准则进行了研究,在此基础上设计一个基于模型检测工具Nu SMV生成功能测试用例的方法。首先,从被测系统状态图入手,经过抽象映射成NuSMV支持的模型验...
-
面向需求的安全关键系统形式化建模与验证方法研究
在安全关键系统领域中,明确的需求对于一个系统的作用至关重要。使用基于模型的系统工程思想对自动飞行控制系统进行面向需求的形式化建模与验证,使用RSML-e语言对自动飞行控制系统（AFCS）需求进行建模,...
