-
班德拉
- 在134篇文章中引用[sw07663]
- 使用Bandera工具设置为模型-检查并发Java软件的特性。班德拉。。。设计用于促进试验的组件模型-检查Java源代码。班德拉把它作为输入。。。几种现存语言中的一种模型-检查工具(包括Spin、dSpin。。。模型对财产的存在选中的. 当模型-检查器产生一个错误轨迹,班德拉。。。
-
SLMC公司
- 引用71篇文章[sw04604]
- 模型 检查动态空间逻辑规范下的并发系统。空间逻辑模型检查器。。。Caires和Cardelli的一致性。模型-检查是应用最广泛的技术之一。。。
-
中央军委
- 在34篇文章中引用[sw12422]
- 作曲工具模型-检查实时系统。在本文中,我们提出。。。合成工具(CMC)模型-检查实时系统。CMC基于。。。
-
灶神星
- 引用24篇文章[sw08425]
- 概率系统。支持统计模型-检查[6,7]和期望值的统计评估。。。时间表达。为模型-检查灶神星使用了一系列相互关联的统计假设检验。。。
-
并发工作台
- 参考12篇文章[sw14749]
- 允许各种等价物,预订单和模型 检查使用各种不同的过程语义。。。检查各种语义等价物和前序词;在强大的模态逻辑中定义命题检查... 这种逻辑;玩斯特林风格模型-检查游戏来理解为什么一个过程。。。
-
Web TLR
- 引用8篇文章[sw09905]
- 模型-检查具有Web TLR的Web应用程序。网页TLR是一个软件工具设计。。。模型-检查基于重写逻辑的Web应用程序。Web应用程序表示为。。。使用Maude内置的LTLR模型-检查人员。Web TLR配备了一个用户。。。导致失败的导航跟踪模型 检查计算。这提供了对。。。
-
数据日志精简版
- 在10篇文章中引用[sw28894]
- 线性时间演绎查询语言模型 检查. 我们提出的数据日志精简,一个新的演绎。。。线性时间查询语言模型-检查算法,即线性时间数据复杂性。。。
-
摩比/华盛顿
- 引用5篇文章[sw01395]
- Moby/DC——一个用于模型-检查参数化实时规范。我们定义了一个操作子集。。。工具MOBY/DC,用于实现模型-检查相自动机算法。该算法应用了合成。。。模型-检查技术和处理参数的内置过程或链接。。。参数模型-检查总的来说,这个问题是无法确定的。因此,我们必须接受。。。
-
C-肖尔
- 引用5篇文章[sw13319]
- 使用HORS的验证技术模型-检查作为他们的核心。这篇论文有助于正在进行的。。。寻求真正可扩展的模型-通过提供一个不同的,自动机理论。。。观点。我们介绍第一个实用程序模型-检查作用于泛化的算法。。。它在模型-检查以及一种提取反例的方法。。。
-
红色图书馆
- 引用5篇文章[sw21175]
- 稠密时间系统技术模型-检查在学术界和工业界,我们发展了。。。称为REDLIB,它支持完整的TCTL模型-检查具有多重公平性的稠密时间自动机。。。