-
棱镜
- 引用了454篇文章[sw01186]
- 马尔可夫链。分析通过模型 检查此类系统针对规范编写…工具功能有三个模型 检查引擎:一个符号,使用bdd(二进制决策图)和mtbdd。。。
-
努西姆
- 引用文献314篇[sw04131]
- FBK-IRST的信息技术模型 检查卡内基梅隆大学的小组,机械化…开放式建筑模型 检查它可以可靠地用于工业…研究领域的验证。NuSMV2,结合基于BDD的模型 检查利用CUDD库的组件开发了…科罗拉多大学和SAT模型 检查包含基于RBC的边界的组件模型...
-
班德拉
- 在134篇文章中引用[sw07663]
- 使用Bandera工具设置为模型-检查并发Java软件的特性。Bandera…部件设计用于促进模型-检查Java源代码。班德拉把现有的几种语言中的一种作为输入模型-检查工具(包括Spin、dSpin。。。模型对财产的存在选中的.当模型-检查器产生一个错误轨迹,班德拉。。。
-
Java探路者
- 参考文献123篇[sw07658]
- 模型 检查使用JAVA探路者的JAVA程序。本文描述了一个名为JAVA PATHFINDER的翻译程序,它将JAVA翻译成PROMELA建模旋转的语言模型检查…普罗梅拉模型,然后可以模型 选中的使用旋转。JAVA程序可能包含…翻译成PROMELA中类似的断言模型.PSIN模型然后,检查器将查看。。。
-
SLMC公司
- 引用74篇文章[sw04604]
- SLMC:一个工具模型 检查动态空间逻辑规范下的并发系统。Caires和Cardelli在空间上的一致性。模型-检查是应用最广泛的技术之一。。。检查软件系统的时间特性。然而,当分析集中在与属性相关的方面时,它的性能优于其他验证系统的工具模型化在π-微积分中。。。
-
MRMC公司
- 引用73篇文章[sw04129]
- 模型。支持PCTL和CSL模型 检查以及他们的奖励扩展。区别特征…马尔可夫决策过程(CTMDPs)和CSL模型 检查通过离散事件模拟。本文介绍。。。
-
摩卡
- 引用92篇文章[sw12935]
- 摩卡:模块化模型 检查MOCHA是一个用于系统规范的不断增长的交互式软件环境。。。
-
茂物
- 引用36篇[sw06858号]
- 模型checker使用Bogor扩展模型 检查框架模型 检查已经证明…开发的建议领域特定模型 检查发动机可能比通用发动机更有效。。。模型 检查工具。为了克服现有工具的局限性,这些工具往往是单一的…开发了一个可扩展的和可定制的模型 检查称为茂物的框架。在本工具书中。。。
-
拍打
- 在38篇文章中引用[sw13258]
- 模拟器。最重要的是,PAT实现了模型 检查适应不同属性的技术,例如……公平假设、精细化检查和概率模型 检查.为了获得良好的性能,先进的优化技术…对称性减少,进程计数器抽象,并行模型 检查...
-
麦肯锡
- 参考33篇文章[sw09465]
- 模型 检查知识。MCK是个模型检查知识的逻辑,发展…多种方法模型 检查知识的逻辑。这件事很新奇模型…主要基于BDD模型 检查算法,但是MCK现在也支持有界。。。模型 检查以及显式状态模型 检查...
-
风笛手
- 引用28篇文章[sw11478]
- 类型为模型,模型 检查消息传递程序。抽象和组合是最基本的问题…制造模型 检查适用于软件。本文提出了自动化抽象的新技术……实现合成的证明规则模型 检查在类型上。开放模拟…抽象关系的合成模型 检查。我们已经在一个工具中实现了这些想法-派珀。。。
-
WSAT公司
- 引用了37篇文章[sw01022]
- 以最先进的技术模型 检查技术。Web服务是松散耦合的分布式的…应用程序中的几个挑战模型 检查:(1)许多相互竞争的web服务标准,大多数基于……的操作都不受当前支持模型方格图案。。。
-
APMC公司
- 引用了29篇文章[sw11483]
- 近似概率模型 检查.象征性模型 检查方法最近被扩展到验证…为模型 检查算法。在本文中,我们建议。。。
-
中央军委
- 在34篇文章中引用[sw12422]
- 作曲工具模型-检查实时系统。在本文中,我们提出…工具(CMC)的组成模型-检查实时系统。CMC基于。。。