• PVS公司

  • 参考文献616篇[sw03484]
  • 验证系统:即规范语言集成了支持工具和定理证明程序。。。最先进的机械化正式的方法足够坚固。。。
  • 钥匙

  • 引用63篇文章[sw09969]
  • 整合设计、实施,正式的 规范,和正式的 验证面向对象软件的无缝。。。
  • 团结

  • 在184篇文章中引用[sw13461]
  • 方法从仿真模型开始规范以一组耦合的。。。首先变成一套正式的断言,允许正式的 验证过渡系统。。。正式地模型应该服从并用正式的 规范...
  • 塞尔4

  • 引用81篇文章[sw15222]
  • 正式的,已检查机器验证从一个摘要中提取了seL4微核规范下来。。。采用独特的设计方法融合正式的以及操作系统技术。据我们所知。。。
  • 玛雅

  • 在26篇文章中引用[sw03423]
  • 正式的 规格通常会显示隐藏的错误,导致规范. 也。。。变更规范它总是危及验证工作已经完成。在本文中。。。结构化的规格,可以使用各种(结构化)规范语言形式化软件。。。规范,即表演验证在小。。。
  • LTSA-WS

  • 引用13篇文章[sw10585]
  • 执行。通过提供早期设计验证以及验证、实施、测试和部署。。。提供合作工具的环境规范,正式的建模,验证以及合成过程的验证。。。
  • 原因3

  • 在129篇文章中引用[sw04438]
  • 验证. 它为规范编程,叫做WhyML,依赖于。。。自动和交互式校准仪验证条件。为什么3有一个标准库。。。用作验证Ada或Java程序。为什么3。。。用户可以轻松重用Why3形式化或添加支持。。。
  • 真相/SLC

  • 引用8篇文章[sw01623]
  • 真理/SLC——一个比较验证并行系统平台。并行软件和硬件系统播放。。。实现的正确性。正式的 规范验证因此,方法变得越来越。。。关于正式的方法为用户提供临床应用。。。
  • WSAT公司

  • 引用了37篇文章[sw01022]
  • 正式的 规范web服务组合。(2) 异步消息传递最有趣验证无法确定的问题。。。
  • 台阶

  • 引用36篇[sw17948]
  • 正式的 验证反应性、实时性和混合系统的时间特性规范. 不像。。。
  • 麦克马斯

  • 引用71篇文章[sw09463]
  • MCMAS:一个用于验证多智能体系统。而时间逻辑。。。考虑到高层人员的态度。特别地,规范基于认知逻辑的语言。。。安全规格涉及匿名性[4]是已知的自然表达的认知形式主义...
  • FoCs公司

  • 引用了20篇文章[sw01591]
  • 自动生成模拟跳棋正式的 规格. 在可预见的未来,工业硬件设计。。。设计中的仿真与模型检验验证过程。到目前为止,这些技术应用于。。。模拟和正式的 验证...
  • 无级变速器

  • 引用15篇文章【sw09952】
  • 代码验证工具(CVT)。自动验证一个编译过程。我们描述CVT——一个完整的。。。来源规范. 这种方法是一种可行的替代方法正式的 验证... 冻结后的代码生成器设计验证. CVT是在。。。验证StateMate/Sildex mixed的翻译规范新技术的运用基于。。。
  • 圣殿

  • 引用2篇文章[sw28617]
  • 圣殿:验证伊兰五金公司规格使用校对助手PVS。重写和重写逻辑。。。已在多个应用程序中使用,包括规范,正式的 验证以及证明助手的建设。上一个。。。作品探索硬件规范并使用重写逻辑系统ELA进行建模。经验证明了这一点。。。工具正式的 验证给定硬件的正确性规格. 虽然简单,验证...
  • 光气圈

  • 引用9篇文章[sw14748]
  • 高效的交通工具正式地基于工业软件规范,设计,验证、实施和测试。洛圈。。。综合治疗使用这些正式的软件工程环境中的描述技术。。。
  • 反之亦然

  • 引用2篇文章[sw21393]
  • 术语实时系统,过程代数,规范,验证,正式的描述技术,资源,优先级,软件工程。。。
  • Cadence SMV公司

  • 27条引用[sw07795]
  • 可能的输入序列。同时正式的 验证通常等同于等价性检验,模型检验。。。允许您验证规格在设计的早期是正确的。。。
  • 安娜

  • 在10篇文章中引用[sw36323]
  • 中广泛使用的功能规范以及程序文件。三。安娜应该。。。在这个理论中正式地可以应用指定程序。。。测试、调试和正式的 验证一个完成的程序规范程序部分的。。。
  • 颜色

  • 在38篇文章中引用[sw09806]
  • 关系式及其在自动化系统中的应用验证终止证书。终止是一个重要的。。。图灵全集的研究主题形式主义术语重写。多年来,很多。。。解决决定终止合同的问题具体的问题(因为它是不可判定的。。。同时介绍了其在自动化系统中的应用验证由终止协议产生的终止证书。。。