Effective Predicate Abstraction for Program Verification
暂无分享,去创建一个
Li Li | Jianmin Wang | Xiaoyu Song | Ming Gu
[1] Kenneth L. McMillan,et al. An interpolating theorem prover , 2005, Theor. Comput. Sci..
[2] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.
[3] Thomas A. Henzinger,et al. A Classification of Symbolic Transition Systems , 2000, STACS.
[4] Sriram K. Rajamani,et al. Refining Approximations in Software Predicate Abstraction , 2004, TACAS.
[5] David S. Rosenblum. A Practical Approach to Programming With Assertions , 1995, IEEE Trans. Software Eng..
[6] Thomas A. Henzinger,et al. Lazy abstraction , 2002, POPL '02.
[7] Hassen Saïdi,et al. Construction of Abstract State Graphs with PVS , 1997, CAV.
[8] Patrick Cousot,et al. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.
[9] Thomas A. Henzinger,et al. The Blast Query Language for Software Verification , 2004, SAS.
[10] Edmund M. Clarke,et al. Counterexample-guided abstraction refinement , 2003, 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..
[11] Joseph Sifakis,et al. Property preserving abstractions for the verification of concurrent systems , 1995, Formal Methods Syst. Des..
[12] David L. Dill,et al. Experience with Predicate Abstraction , 1999, CAV.
[13] Francesco Ranzato,et al. On the Completeness of Model Checking , 2001, ESOP.
[14] Edsger W. Dijkstra,et al. A Discipline of Programming , 1976 .