文件名称：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)