模型检测(Model Checking)是一种采用形式化方法的自动分析和验证技术,相对于传统形式化证明方法,具有快速、准确、全自动、对使用人员数学背景要求不高的特...
基于418个网页-相关网页
... model base management system，模型库管理系统 model checking，模型置信度 model coordination method，模型协调法 ...
基于340个网页-相关网页
模型检验(Model checking)方法是一种很有前途的形式验证方法,它的验证方法是通过对限状态空间的遍历来确认规范说明(Specification)是否得到满足.
基于202个网页-相关网页
Symbolic Model Checking 符号模型检测 ; 符号模型检验 ; 符号化模型检测 ; 符号模型检查
Bounded Model Checking 有界模型检测 ; 有界模型检验方法
Formal Model Checking 形式模型检查
Model Checking Software 模型检验软件 ; 模型检查软件
Model-checking Tool 模型检测工具
model-checking 模型检查 ; 模型检测
Model Checking for Software 软件模型检测
software model checking 软件模型检测
The PROMELA language, whose commitment manners decide system executions, plays crucial role in model checking toolSPIN.
模型检查工具SPIN的核心是PROMELA语言，对PROMELA语言执行方式的理解决定所描述系统模型的行为方式。
参考来源 - PROMELA语义引擎执行研究—《电脑知识与技术》—2008年第35期—龙源期刊网Model checking is a critical technology in Model Driven Service-creation approach.
模型验证是模型驱动的业务生成技术中的关键技术。
参考来源 - 模型驱动的业务生成技术中模型验证的研究与实现Based on the actuality of research and develop in outside, this article provides a special workflow platform, which can be used among different platforms, operation system and can supposes model checking.
在对国内外的工作流开发平台和管理系统的研究基础上,本文提出了一个跨平台、支持各种操作系统、并且能够提供模型验证的独特工作流开发平台框架。
参考来源 - 工作流开发平台框架的研究和工作流形式化建模·2,447,543篇论文数据，部分数据来源于NoteExpress
以上来源于: WordNet
应用推荐