-
筛
- 参考605篇文章[sw16554]
- 单个对象,最后执行验证通过最小二乘法求解一致的姿态参数。这个。。。
-
努西姆
- 引用了295篇文章[sw04131]
- 它可以可靠地用于验证以工业设计为核心。。。习俗验证工具,作为正式验证并应用于其他研究。。。
-
爆炸
- 参考文献125篇[sw02937]
- BLAST(伯克利懒惰抽象软件验证工具)是一个静态软件验证工具。。。通过有效的执行来指向(主函数)。验证安全性能可能会降低。。。可及性,而BLAST则用于此验证在Linux驱动程序中验证项目。。。
-
塞萨尔
- 引用156篇文章[sw08510]
- 规范和验证塞萨尔的并发系统。本文的目的是。。。单调谓词变换器的不动点。这个验证一个系统的关键在于获得。。。
-
原因3
- 引用128篇文章[sw04438]
- 为什么3是演绎程序的平台验证. 它为规范提供了丰富的语言。。。自动和交互式校准仪验证条件。为什么3有一个标准库。。。用作验证C、Java或Ada程序。为什么3。。。
-
布吉
- 引用116篇文章[sw07714]
- 布吉:中间人验证语言。布吉是个中间人验证语言,作为一个层。。。它也是验证把布吉程序作为输入的工具。。。给定布吉程序,然后生成验证传递给SMT解算器的条件。。。
-
团结
- 在184篇文章中引用[sw13461]
- 正式的断言,允许正式的验证转换_系统_ , _第_二_个_变成_可_执行_程序_ …_