modelchecking
- 网络模型检查；模型检测方法；模型检验
modelcheckingmodelchecking
模型检查
为了实施更有效的静态测试，我们有必要在这里介绍一种重要的并发系统测试方法——模型检查（ModelChecking）。模型检查 …
模型检测方法
比较常见的形式化验证方法有:基于Statecharts的形式化验证方法[11]、模型检测方法(ModelChecking)[12]、基于本体的形式化 …
模型检验
通过对不同时序变元参与的模型检验(ModelChecking)，可以得到不同现实条件下的流程流转行为，所得到数据对进一步从时间 …