Proving that programs eventually do something good
Proving that programs eventually do something good
复制标题
证明程序最终会做一些好事
DOI：
10.1145/1190215.1190257
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
M. Vardi
中科院分区：
文献类型：
--
作者：
Byron Cook;Alexey Gotsman;A. Podelski;A. Rybalchenko;M. Vardi
近年来，我们看到在自动源代码级静态分析工具领域取得了很大的进展。然而，大多数今天的程序验证工具仅限于性能，瓜尔…
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited to properties that guar...
DOI：
10.1145/1190216.1190249
发表时间：
2007-01
期刊：
--
影响因子：
--
作者：
Josh Berdine;A. Chawdhary;B. Cook;Dino Distefano;P. O'Hearn
通讯作者：
Josh Berdine;A. Chawdhary;B. Cook;Dino Distefano;P. O'Hearn