• 小脚

  • 引用的第52条[sw09787]
  • Smallfoot:模块化自动断言 检查有分离逻辑。分离逻辑是一种程序逻辑。。。工具检查某些轻量级分离逻辑规范。这个断言描述数据的形状。。。
  • 再见

  • 引用41篇文章[sw12089]
  • 调用系统库谓词检查这个断言在节目里。。。时间测试断言这是不可能的选中的完全在编译时等。抽象。。。
  • 工具链

  • 引用23条[sw09517]
  • 软件工具链包括静态分析器检查 断言关于你的程序;优化编译器来翻译。。。工具链工程与机械保证-选中的证明断言声称。。。
  • Java探路者

  • 引用了119篇文章[sw07658]
  • 模型选中的使用旋转。JAVA程序可能包含断言,它们被翻译成类似的。。。
  • 贾斯

  • 参考11篇文章[sw32265]
  • Jass-java与断言. 合同设计,由迈耶提出的编程语言埃菲尔。。。检查程序执行过程中违反规范的行为及其处理。Jass、Java和断言... 规范形式的程序断言. Jass工具是一个预编译器。。。支持细化,即子类型化,检查以及新颖的种族概念断言. 跟踪断言使用。。。
  • J-LO公司

  • 第3条引用[sw32260]
  • 逻辑观察者。运行时工具-检查世俗的断言. J-LO,Java逻辑观察者。。。运行时工具-检查世俗的断言在Java5应用程序中。时间属性(见下文。。。向应用程序插入适当的运行时检查...
  • 总括

  • 第3条引用[sw04600号]
  • 为运行时提供支持断言 检查,扩展静态检查以及全面的正式验证。。。
  • 将死

  • 第3条引用[sw26785]
  • checkmate:快速和多功能的辩论检查. 测试和断言经常争论检查...
  • ESBMC

  • 参考7篇文章[sw09946]
  • 使用声明其他属性断言-陈述,那就是选中的也。它还提供。。。
  • 坚定自信的

  • 引用2篇文章[sw26787]
  • 包裹坚定自信的:可读检查函数来确保代码的完整性。大量的谓词(是函数。。。检查变量的状态,以及断言(断言_*函数)来抛出错误,如果它们。。。
  • 教唆

  • 1条引用[sw31985]
  • 远离的。此外,ABETS使用运行时断言 检查要自动识别错误。。。
  • 日本日报

  • 引用42篇文章[sw04319]
  • 程序;这些通常用于断言声明、文档和正式规范。例子包括。。。更多。可以向Daikon用户扩展检查对于其他不变量。动态不变检测运行。。。
  • 杰科

  • 1条引用[sw29268号]
  • Jacco是一个模型工具集检查Java演员程序。Jacco目前支持演员。。。根据安全特性进行分析(断言-基于模型检查). 为了执行模型检查...
  • 焦点检查

  • 第3条引用[sw01298]
  • FocusCheck模型-检查用于验证和调试的工具断言违反顺序。。。从而提高模型的可用性和可读性-检查结果。。。
  • 蚱蜢

  • 引用5篇文章[sw23304]
  • 用可判定的规范逻辑来表示检查功能正确性属性。逻辑支持混合。。。分离逻辑与一阶逻辑断言,产生了表达力强但简洁的规范。输入语言。。。
  • 奎托斯

  • 参考7篇文章[sw07808]
  • 安全性能,以程序的形式断言,允许用户探索两个方向。。。计划,奎托斯有能力做模型检查使用符号lazy生成的C程序。。。
  • 蒸汽

  • 参考6篇文章[sw01987]
  • 程序。允许独立于平台的模型检查并发程序的目标代码。。。成功地增强了对死锁和断言违反。。。
  • JBMC公司

  • 1条引用[sw25908]
  • Java程序。检查运行时异常和用户定义断言. 执行验证。。。
  • 薄片

  • 参考7篇文章[sw23311]
  • 输入程序。在默认模式下,断言在给定的范围内被验证。。。验证算法的实现,模型检查和抽象的解释。。。