model-checking
来源:互联网 发布:搜星软件 编辑:程序博客网 时间:2024/04/30 07:37
model checking
模型检测是针对一个模型的测试。
具体的测试,是对模型执行的实例的一种测试。模型测试更加抽象。
状态空间 剪枝
Model checking is a method for formally verifying finite-state concurrent systems. Specifications about the system are expressed as temporal logic formulas, and efficient symbolic algorithms are used to traverse the model defined by the system and check if the specification holds or not.
Extremely large state-spaces can often be traversed in minutes. The technique has been applied to several complex industrial systems such as the Futurebus+ and the PCI local bus protocols.
- model-checking
- model checking
- Principles of Model Checking
- symbolic model checking notations
- 科研路上 - model checking
- 模型检测model checking
- 模型检测model checking学习
- VMCAI11:SAT-Based Model Checking Without Unrolling
- 两本模型检查的书 Model Checking
- 两个被广泛使用的Model Checking工具
- 《principles of model checking》中的离散时间马尔科夫链
- Analyzing Interaction Orderings with Model Checking 个人翻译,需要的拿
- Checking order
- Model?
- Model
- model
- model
- Model
- 在Android模拟器上模拟SD卡(Windows)
- Inside QT Series (五):元对象系统(Meta-Object System)
- eclipse快捷键
- PB中判断该字段是否更改及原始值与当前值
- 我回来了,重新自己的生活
- model-checking
- C md5加密算法
- 利用反射,实现动态调用winform窗体!!
- SOCKET CLOSE_WAIT状态的说明
- 建了个网站怎么推广
- 用英语怎么说
- ASP版HTML转UBB的函数
- 2009.02.23
- 如何让Oracle的表能提供给其他用户访问?