Software Model Checking with Abstraction Refinement
暂无分享,去创建一个
[1] Reinhard Wilhelm,et al. Parametric shape analysis via 3-valued logic , 2002, TOPL.
[2] Matthew B. Dwyer,et al. Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software , 2001, CONCUR.
[3] Roberto Giacobazzi,et al. Making abstract interpretations complete , 2000, JACM.
[4] Patrick Cousot,et al. On Abstraction in Software Verification , 2002, CAV.
[5] Deepak Goyal,et al. Deriving specialized program analyses for certifying component-client conformance , 2002, PLDI '02.
[6] Andreas Podelski,et al. Boolean and Cartesian abstraction for model checking C programs , 2001, International Journal on Software Tools for Technology Transfer.
[7] Gerard J. Holzmann,et al. Software Analysis and Model Checking , 2002, CAV.
[8] Yassine Lakhnech,et al. Incremental Verification by Abstraction , 2001, TACAS.
[9] George C. Necula,et al. Temporal-Safety Proofs for Systems Code , 2002, CAV.
[10] Andreas Podelski,et al. Relative Completeness of Abstraction Refinement for Software Model Checking , 2002, TACAS.
[11] Patrick Cousot,et al. Partial Completeness of Abstract Fixpoint Checking , 2000, SARA.
[12] Andreas Podelski. Model Checking as Constraint Solving , 2000, SAS.
[13] Eran Yahav,et al. Verifying safety properties of concurrent Java programs using 3-valued logic , 2001, POPL '01.