Amir Pnueli近期论文

时间:2012-05-09 10:47:40
【文件属性】:

文件名称:Amir Pnueli近期论文

文件大小:1.65MB

文件格式:RAR

更新时间:2012-05-09 10:47:40

形式化验证,模型检测和数理逻辑经

Amir Pnueli图灵奖获得者,是他把时态逻辑引入到计算机领域,研究形式化验证的人,看看他的论文,还是有必要!


【文件预览】:
Amir Pnueli
----Validating software pipelining optimizations.pdf(151KB)
----Formal modeling of c. elegans development A scenario-based approach.pdf(235KB)
----Bridging the gap between fair simulation and trace inclusion.pdf(274KB)
----Complete proof system for QPTL.pdf(548KB)
----Smart play-out of behavioral requirements.pdf(196KB)
----A deductive proof system for CTL.pdf(244KB)
----Automatic verification of free choice.pdf(253KB)
----Translation and run-time validation of optimized code.ps(325KB)
----Parameterized verification by probabilistic abstraction.pdf(225KB)
----Network invariants in action.pdf(253KB)
----The robdd size of simple cnf formulas.pdf(257KB)

网友评论