Loosely speaking, model checking is a way to check for the existence of a finite state machine (specification) in another finite state machine (program).
不严格地说，模型检查是在一个有限状态机器(程序)中检验另一个有限状态机器(清单)存在性的一个方法。
Model checking, a technique for verifying the existence or non-existence of certain temporal properties in a program is also a static analysis.
模型检查，是验证一程序中是否存在某些暂时性特性的一种技术，它也是静态分析。
Aiming at the state explosion problem existed in the software model checking, a scheme of applying program conditioning to reduce the state space of programs was proposed.
针对软件模型检测中的状态爆炸问题，提出将程序条件化技术用于软件状态空间缩减的方案。
Developing a checking program for the data quality of CAD model to conduct an accurate, quantitative evaluation and management on the data quality of the model.
开发CAD模型质量检查程序，对模型数据质量进行准确的、量化的评估和管理。
Developing a checking program for the data quality of CAD model to conduct an accurate, quantitative evaluation and management on the data quality of the model.
开发CAD模型质量检查程序，对模型数据质量进行准确的、量化的评估和管理。
应用推荐