go top

model checking

  • [自] 模型校验

网络释义专业释义英英释义

  模型检测

模型检测(Model Checking)是一种采用形式化方法的自动分析和验证技术,相对于传统形式化证明方法,具有快速、准确、全自动、对使用人员数学背景要求不高的特...

基于418个网页-相关网页

  模型置信度

... model base management system,模型库管理系统 model checking模型置信度 model coordination method,模型协调法 ...

基于340个网页-相关网页

  模型检验

模型检验(Model checking)方法是一种很有前途的形式验证方法,它的验证方法是通过对限状态空间的遍历来确认规范说明(Specification)是否得到满足.

基于202个网页-相关网页

  [自] 模型校验

... model base MBn模型库 model checking 模型校验 model confidence 模型置信度 ...

基于88个网页-相关网页

短语

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 PROBLEM 问题

 更多收起网络短语
  • 模型检查 - 引用次数:42

    The PROMELA language, whose commitment manners decide system executions, plays crucial role in model checking toolSPIN.

    模型检查工具SPIN的核心是PROMELA语言,对PROMELA语言执行方式的理解决定所描述系统模型的行为方式。

    参考来源 - PROMELA语义引擎执行研究—《电脑知识与技术》—2008年第35期—龙源期刊网
    模型验证 - 引用次数:21

    Model checking is a critical technology in Model Driven Service-creation approach.

    模型验证模型驱动的业务生成技术中的关键技术。

    参考来源 - 模型驱动的业务生成技术中模型验证的研究与实现
  • 模型检测 - 引用次数:13

    参考来源 - 面向对象MSVL语言及其在组合Web服务验证中的应用
    模型验证 - 引用次数:1

    参考来源 - 离散实时Mobile Ambients
    模型校验
    模型置信度
  • 模型验证 - 引用次数:4

    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

Model checking

  • abstract: In computer science, model checking aka property checking refers to the following problem:

以上来源于: WordNet

双语例句权威例句

  • This is similar to what is known as model checking.

    我们所知道模型检测相似

    youdao

  • Model checking technology is one of the validating ways.

    模型检测技术形式验证方法中的一种

    youdao

  • Model checking is then used to check whether a program has a given property.

    然后使用模型检查检验一个程序是否某个给定特性。

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定