模型检查 meaning in English
model check
pattern checking
Examples
- Model checking is then used to check whether a program has a given property
然后使用模型检查来检验一个程序是否有某个给定特性。 - Over the last decade the use of model checking to verify the presence or absence of properties has gained prominence
近十年以来，使用模型检查来验证有无某些特性已经成为主流。 - Model checking , a technique for verifying the existence or non - existence of certain temporal properties in a program is also a static analysis
模型检查，是验证一程序中是否存在某些暂时性特性的一种技术，它也是静态分析。 - A middle layer provides translation between the user syntax and lf , and allows additional support for reasoning e . g . , model checking
一个中间层提供了一个用户语法和lf之间的翻译,还对推理给予附加的自动支持例如模型检查。 - This idea provided the foundation for the justification of the corresponding work flow functional requirement to the formal semantics by means of model examination
为使用模型检查方法来验证与形式化语义对应的工作流功能需求奠定了基础。