• 旋转

  • 引用721篇文章[sw03455]
  • 用于正式的 验证分配的软件系统。这个工具是在贝尔开发的。。。
  • 伊莎贝尔

  • 引用674篇文章[sw00454]
  • 特别正式的 验证,包括证明计算机硬件的正确性或软件证明。。。
  • 钥匙

  • 引用64篇文章[sw09969]
  • 软件旨在整合设计、实施和,正式的规范正式的 验证...
  • ETPS公司

  • 引用158篇文章[sw06302号]
  • 软件 验证,部分自动化了各种数学活动,促进了数学的发展正式的理论。。。
  • 聚硼

  • 引用48篇文章[sw00723]
  • 越来越重要的正式的硬件和软件 验证基于布尔表达式,除了。。。
  • 伊莎贝尔/采埃孚

  • 引用63篇文章[sw04973]
  • 特别正式的 验证,包括证明计算机硬件的正确性或软件证明。。。计算机语言和协议的性质。伊莎贝尔/采埃孚正式化基本集合论的大部分。。。
  • 测试程序集

  • 引用71篇文章[sw00973]
  • 软件 验证,部分自动化了各种数学活动,促进了数学的发展正式的理论。。。
  • 公司证书

  • 引用48篇文章[sw09737]
  • 调查正式的 验证可用于关键嵌入式软件。这些经过验证的编译器。。。通过应用正式的方法来源程序。主要结果是。。。
  • 原因3

  • 引用132篇文章[sw04438]
  • 用作验证C、Java或Ada程序。为什么3。。。允许使用Why3作为软件图书馆。一个重要的重点放在模块化。。。用户可以轻松重用Why3形式化或添加支持。。。
  • 玛雅

  • 在26篇文章中引用[sw03423]
  • 大小软件是一个容易出错的过程,因此是一个进化过程。验证正式的规格通常。。。总是危及验证工作已经完成。在本文中我们描述。。。规范的结构,并维护验证更改规范时已完成的工作。。。各种(结构化)规范语言形式化这个软件发展。此外,Maya允许集成。。。
  • PPL公司

  • 引用97篇文章[sw05357]
  • 分析系统和验证硬件和软件组件。当前的应用程序跨命令。。。因此在正式的方法社区和一些关键任务依赖于。。。
  • 引用15篇文章[sw02075]
  • 正式的 验证以及它的应用。一种自动转换可编程逻辑控制器的框架软件到SystemC。。。WoLFram成功应用于验证PLC程序。等价性检查和属性检查。。。软件研究表明,现代SAT解算器可以正式地验证PLC程序在。。。
  • 模仿者

  • 引用了29篇文章[sw00439]
  • 模仿者是软件参数化工具验证实时系统的鲁棒性分析。。。带参数。依靠它形式主义参数时间自动机网络,增加。。。
  • 奈特凯特

  • 引用21篇文章[sw16269]
  • NetKAT--一个正式的系统验证网络。本文介绍了一个调查。。。在开发NetKAT,a正式的分组交换网络推理系统。。。在新兴领域的作用软件-定义的网络。。。
  • 光气圈

  • 引用9篇文章[sw14748]
  • 高效的交通工具正式地基础工业软件规格、设计,验证、实施和测试。洛圈。。。每一个治疗的重要部分软件使用LOTOS开发生命周期。这个。。。综合治疗使用这些正式的描述技术软件工程环境。。。
  • F外壳

  • 引用8篇文章[sw14481]
  • 性能要求软件测试与正式的 验证。我们的工具FShell提供。。。脚本语言。不仅仅是一个前端软件模型跳棋,FShell是设计。。。
  • 骗局

  • 引用了20篇文章[sw00829]
  • 关键嵌入式环境软件。与本机集成正式地-定义了骗局语言,骗局。。。跨需求管理、基于模型的设计、仿真,验证,可鉴定/认证代码生成,以及与其他。。。
  • 奎托斯

  • 参考7篇文章[sw07808]
  • 奎托斯:A软件SystemC的模型检查器。他越来越受欢迎的系统C吸引了研究。。。正式的 验证系统设计。在本文中,我们介绍了奎托斯,a软件模型检查器。。。
  • 加帕

  • 引用18条[sw04885]
  • 用于帮助验证和正式地证明了处理浮动问题的数值程序的性质。。。后端验证程序的原因软件 验证平台或自动战术。。。