模型检测(Model Checking)是一种采用形式化方法的自动分析和验证技术,相对于传统形式化证明方法,具有快速、准确、全自动、对使用人员数学背景要求不高的特...
基于418个网页-相关网页
模型检验(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 软件模型检测
Model Checking Based Testing 基于模型检查的测试
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
应用推荐