数学证明,尤其是形式证明验证包括证明计算机硬件的正确性.
引用727篇文章[sw03455]
可用于正式场合验证分布式软件系统.工具.
用于建模,仿真和验证联合开发的实时系统.
验证系统:也就是说,与支持工具和定理证明程序集成的规范语言.
单个对象,最后执行验证通过最小二乘法求解一致的姿态参数.这个.
程序分析,测试和验证微软研究所提供的工具.这些包括:VCC,规格.
它可以可靠地用于验证工业设计,作为一个核心...习惯验证工具,作为正式验证并应用于其他研究.
通过符号模型验证.如果验证失败,然后HyTech生成一个诊断错误.
BLAST(伯克利懒惰抽象软件验证工具)是一个静态软件验证(一个)有效的点执行工具.验证安全性能可能会降低...可达性,而爆炸是用于这样的验证在Linux驱动程序中验证项目.
规范和验证塞萨尔的并发系统.本文的目的是...单调谓词变换器的不动点.这个验证一个系统包括.
原因3
为什么3是演绎程序的平台验证它为规范提供了一种丰富的语言,包括自动和交互式的,来进行排放验证条件.Why3附带了一个标准库...用作验证C,Java或Ada程序.为什么3.
布吉:中间人验证语言.布吉是个中间人验证语言,作为一个层...它也是验证该工具将Boogie程序作为输入...给定Boogie程序,然后生成验证传递给SMT解算器的条件.
正式的断言,允许正式的验证转换系统,第二个变成可执行程序.
参考171篇文章[sw06232]
CafeOBJ作为行为系统的工具验证.我们报告一种机器支持的方法.
自动定理证明包括硬件和软件验证,各种数学活动的部分自动化,促进.
使用SLAM的驱动程序开发工具包验证引擎.