• 沟槽

  • 引用了50篇文章[sw09480]
  • 面向对象的图形验证(凹槽)。GROOVE是一个围绕。。。动态语义通过(自动的)分析结果图形转换系统,例如使用。。。
  • 上旋

  • 参考12篇文章[sw00972]
  • 自动修改SPIN使用的模型检查算法,以便在验证... 这个罐子结果在显著减少内存消耗,而且在许多情况下也在更快。。。
  • OFMC公司

  • 27条引用[sw09466]
  • 自动转换为IF.par OFMC执行协议伪造和有界会话验证通过探索。。。需求驱动方式,过渡系统结果来自IF规范。OFMC的有效性。。。
  • FoCs公司

  • 引用了20篇文章[sw01591]
  • FoCs公司--自动的从形式化规范生成模拟检查程序。在可预见的未来,工业硬件。。。设计中的仿真与模型检验验证过程。到目前为止,这些技术应用于。。。问题的不同表述。这个结果在累积的高成本和少。。。
  • 克拉

  • 参考6篇文章[SW359号文件]
  • 同意结果独立的验证方法。结论:总的来说,克拉自动检测具有副本的区域。。。
  • 时代-帕特

  • 引用2篇文章[sw13259]
  • 模拟,完全自动的成分验证基于学习技巧。实验性的结果显示。。。
  • 精炼一元

  • 参考6篇文章[sw28551号文件]
  • monad携带一套结果或者断言失败。递归用固定。。。框架为自动化规范任务,例如验证条件生成,找到合适的数据。。。
  • 模型丛

  • 引用4篇文章[sw23944]
  • 带模型以便离线验证 结果不再适用,ModelPlex启动可证明安全的。。。综合可证明正确监测仪的系统技术自动从微分动态逻辑的CPS证明。。。暗示离线安全验证 结果关于CPS模型在当前的应用。。。
  • HMC公司

  • 参考7篇文章[sw09867]
  • Milner Cousots(HMC),一种减少验证类型化高阶的安全性。。。实现了HMC并描述了初步实验结果使用两个命令式跳棋-armc和interproc。。。抽象解释,HMC使自动的 验证用现代编程语言编写的程序。。。
  • 渗透

  • 引用5篇文章[sw21412]
  • 程序源代码。但是,在某些情况下验证执行时更相关。。。机器代码级别。本文主要研究自动的从独立的测试数据生成。。。技术和创新技术。这个结果已经在名为OSMOSE的工具中实现。。。
  • GPU验证

  • 在10篇文章中引用[sw11260]
  • 用于分析和验证GPU内核。我们研究语义学。。。两种语义计算相同结果或者两者都有错误的行为结果归纳出一种方法。。。我们的新方法可以完全处理自动,但上一个方法不能。总的来说。。。方法价格适中:验证在我们的基准测试中,速度慢了2.25倍。。。
  • 自动驾驶

  • 参考6篇文章[sw30948]
  • 自动翻转:自动激活功能验证面向对象程序。自动活动验证器提供了一个级别。。。在完全自动化之间自动的和交互式:用户提供的代码与注释作为输入,而。。。结果证明了Autotop在其联盟中在尖端功能上的竞争力验证...
  • 记忆

  • 引用4篇文章[sw09759]
  • 基于CEGAR循环使验证并发程序的控制状态可达性。。。变量。可达性过程用于自动计算可能的内存边界位置,以保证。。。感觉到移除任何围栏都会结果在坏控制状态的可达性。。。第一个免费的,开源的,按钮式的验证和围栏插入工具的程序运行。。。
  • 发起人

  • 引用4篇文章[sw06738号]
  • 验证任务结果因为规范和规范的变化。这个验证任务。。。支持从私有方法和自动的从方法实现中提取候选规范。。。
  • 瓜多尔

  • 引用2篇文章[sw28543]
  • 并提供规范和自动化验证支持。保护程序和规范被翻译。。。结果瓜尔多程序的困难性质可以得到充分证明自动...
  • GKLEE公司

  • 在10篇文章中引用[sw12794]
  • 吉克利:康科利验证以及gpu的测试生成。为GPU编写的程序通常包含正确性。。。比赛,死锁,或可能计算错误结果. 现有的调试工具经常忽略这些错误。。。SIMD并发产生虚警的建模结果在浪费时间的猎虫中。他们也经常。。。漏洞。对于这些程序,GKLEE也可以自动生成提供高覆盖率的测试。这些。。。
  • 图片2lnt

  • 引用2篇文章[sw13368]
  • 过渡系统)。虽然理论上很多结果已经在这门语言上取得了成就。。。验证设计了分析工具π-微积分规范自动. 两个最著名的。。。
  • 验证者

  • 引用2篇文章[sw12878]
  • 验证Shor和Preskill关于BB84的无条件安全证明。作为一个结果... 对抗无限敌人的攻击-自动,也就是说,是的自动的除了给予。。。
  • evt公司

  • 参考7篇文章[sw09805]
  • 主要概述结果项目的验证“爱尔兰计划”是由。。。主动权。它的主要成果是二郎验证工具(EVT),一个帮助。。。递归。我们总结一下验证框架由EVT支持,讨论推理。。。总结,以及支持的方法验证在有程序库的情况下。。。
  • 发电机

  • 参考第2条[sw14286]
  • 自动的全功能验证. 发电机是一种工具自动推断循环不变量并使用。。。后置条件,it自动履行了超过97%的证明义务,结果在里面自动的完全正确。。。