• 沙帕尔

  • 引用4篇文章[sw22667]
  • 站点崩溃和网络分区。理论上的结果说明因果一致性。。。提出了一个称为Chapar的模块化框架验证复制密钥值的因果一致性。。。自动的客户端程序正确性的模型检查程序。两人独立核实结果...
  • 发电机

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

  • 1条引用[sw29441]
  • 沃尔珀。简单即用自动的 验证线性时序逻辑。PSTV'95,第十五国际。。。协议规范、测试和验证,波兰华沙,1995年。这个结果可以使用自动机。。。
  • 塞维

  • 引用2篇文章[sw06547]
  • 服务:自动的工具验证安全协议在安全协议中扮演着越来越重要的角色。。。这个框架,以及验证给出了算法。这个结果这张纸。。。模拟和验证安全协议。实验性的结果证明一个SeVe模块能够。。。也证明了自动的与隐私有关的安全协议的验证器。。。
  • 精炼厂

  • 引用3篇文章[sw24290]
  • 精炼者:走向正式验证模型转换。我们介绍了精简工具,它提供了技术。。。直到它足够具体到自动从中生成源代码。属性。。。现有模型检查工具集mCRL2和Cadp,结果在完整的模型检查方法中。。。
  • 自动加载器

  • 在0篇文章中引用[sw30353]
  • 自动的程序修复方法遵循缺陷定位、候选生成、候选修复的过程验证. 然而。。。修理结果无法保证。本研究提出了一种自动的修复缺陷。。。修复率。最后,在候选人-验证过程中,采用了程序综合的方法。。。在学生项目上做实验。实验性的结果结果表明,该方法具有较高的识别率。。。
  • 橄榄球

  • 1条引用[sw09868]
  • 自动实时图形系统的测试。在本文中,我们讨论的是将军。。。验证实时图形系统。特别地,我们展示了运行时图形验证框架。。。在这里我们结合了运行时的技术验证图像分析自动化测试。。。瑞典广播公司。我们报告实验结果从评估,特别是发现。。。
  • 宋体

  • 1条引用[sw02284]
  • 功能可视化和验证信号或图像处理应用。自动的翻译器已创建。。。此后是人工翻译阶段。作为一个结果,一个信号处理设计师开发复杂的应用程序。。。
  • 编解码器

  • 引用2篇文章[sw09151]
  • 视觉规范的范围自动-关于结构和组织的可证实的陈述。。。抽象层次。我们描述{it设计验证}证明或反驳的过程。。。全自动设计验证工具。我们用经验总结结果这意味着在这两方面都有所收获。。。
  • 沃杜

  • 1条引用[sw06300]
  • 检查两个视图,即自动一系列UML状态图建模。。。图表。这个验证由模型检查器UPPAAL执行。这个结果重新翻译成。。。
  • ATCase公司

  • 在0篇文章中引用[sw25243]
  • 解决问题。现有的符号执行方法自动的测试用例生成有缺陷,因为。。。解决非线性约束,这使得结果不满意。对于这个缺陷,一个测试用例。。。多项式系统求解技术与区间验证提供。具体来说,对于解决的困难。。。规模问题。因为不准确结果从计算上,我们充分利用了区间算法。。。
  • 公理

  • 引用了173篇文章[sw00063]
  • 公理是一个通用的计算机代数系统。。。
  • 男爵

  • 引用了354篇文章[sw00066]
  • 巴龙是一个计算系统,用于解决非凸。。。