• 塔拉普

  • 9篇参考文献[ SW09528 ]
  • 大系统规格。它提供了一个一致的 抽象化在各种“后端”验证器上。电流…
  • 女飞人

  • 20篇参考文献[SW0265]
  • 元素法。软件包含一套摘要接口和具体类,提供…
  • 肉冻的

  • 23篇参考文献[SW04954 ]
  • 仍然是最强大的摘要在无限格中工作的解释。像这样的。。。线性关系分析组成的在计算中,如果可能的话,精确的(摘要环的影响…
  • CavaLTL模型检查器

  • 13篇参考文献[SW28 830]
  • 使用伊莎贝尔定理证明器。检查员包含超过4000行的ML代码…证明摘要检查器的版本,组成的几百条线…数学集合等步骤摘要结构被高效的实现代替。
  • 马蒂斯

  • 25篇参考文献[SW06311]
  • 基于互模拟抽象化对于安全验证问题特别有用。包含在检查…可达集抽象化该系统的精度大于…
  • MPTP 0.2

  • 42篇参考文献[SW02589]
  • 利用分类的相对化和去匿名化摘要条款完整的MiZar证明现在出口…实验例如,这包括一致的证明局部常数和证明局部引理…系统,通过记忆(如果必要的话)抽象化从证明上下文)一阶…
  • MSMBu建器

  • 2篇参考文献[SW23 802]
  • 界面清晰清晰一致的 抽象化通过它的Python应用程序编程接口。MSMBuilder…
  • 逆合成孔径雷达

  • 134篇参考文献[SW04999 ]
  • 证明系统和适当的水平抽象化用于用户级工作。ISAR正式…ISAR形式证明文件语言。伊莎贝尔/伊萨尔河输入包含任何适当的文档构造函数,或不正确的…
  • Verilog

  • 9篇参考文献[SW13592]
  • 结构层次抽象化. 它有助于提供。一致性跨越各种工具故障…
  • 图形实验室

  • 17篇参考文献[SW12830]
  • 改进的图形实验室抽象化与MapReduce一样,用……异步表达迭代算法。确保数据的稀疏计算依赖一致性并实现了高度的并行性能…
  • 维里克斯

  • 31篇参考文献[ SW0201]
  • 反驳安全属性——一种新的有效方法组成的翻译中的时间可达性问题…AN的可达性分析摘要系统的模型执行…
  • 紫花苜蓿

  • 3篇参考文献[SW09414]
  • 基于异质性摘要机器模型组成的图形简化和面向栈的两种…
  • 乔托

  • 16篇参考文献[ SW08971]
  • 嵌入式编程语言。吉奥托提供了一个摘要程序员模型的实现…实时约束。典型控制应用包含定期的软件任务与…
  • 双压力机

  • 7篇参考文献[SW02526]
  • 问题包含在验证系统(例如,协议)与其匹配时摘要规格
  • 帕西奥

  • 14篇参考文献[SW0981]
  • 证明演算是模型消除。帕西奥包含一个统一的序贯定理证明网络…作为沃伦的扩展实现摘要机器帕西奥是并行编写的…
  • 疾病

  • 1篇参考文献[SW29 290]
  • 疾病-生物医学的基因关联摘要. 系统包含一个高效率的字典为基础的…
  • MSCPDL

  • 1篇参考文献[SW02228 ]
  • MSCPDL——一种行为语言抽象化分布式系统包括一组过程的这些…
  • 校验VML

  • 11篇参考文献[SW0942]
  • 一种动态模型检验工具一致性在任意良构实例模型中的性质…高级规范到工具无关摘要定义的过渡系统定义…
  • 投资

  • 10篇参考文献[SW120 34 ]
  • 反应系统的一类重要性质包含的不变性性质表示…不变性性质的验证以及抽象化技法
  • 乌姆

  • 8篇参考文献[SW10132]
  • 记忆的系统化分析方法一致性要求在本文中,我们提出…采用简单通用的内存抽象化可以捕获大量的内存…形式化几个经典的记忆模型,包括顺序一致性,连贯性,和PRAM,来说明一般…