Bounded Model Checking and Induction: From Refutation to Verification (Extended Abstract, Category A)
暂无分享,去创建一个
[1] Kenneth L. McMillan,et al. Applying SAT Methods in Unbounded Symbolic Model Checking , 2002, CAV.
[2] Parosh Aziz Abdulla,et al. Symbolic Reachability Analysis Based on SAT-Solvers , 2000, TACAS.
[3] Armin Biere,et al. Symbolic Model Checking without BDDs , 1999, TACAS.
[4] Steven M. German,et al. A Synthesizer of Inductive Assertions , 1975, IEEE Trans. Software Eng..
[5] Joseph Sifakis,et al. Property preserving abstractions for the verification of concurrent systems , 1995, Formal Methods Syst. Des..
[6] Natarajan Shankar,et al. ICS: Integrated Canonizer and Solver , 2001, CAV.
[7] John Rushby. Model Checking Simpson's Four-Slot Fully Asynchronous Communication Mechanism , 2002 .
[8] L. D. Moura. Lemmas on Demand for Satisfiability Solvers , 2002 .
[9] Zohar Manna,et al. A Heuristic Approach to Program Verification , 1973, IJCAI.
[10] Yassine Lakhnech,et al. Automatic Generation of Invariants , 1999, Formal Methods Syst. Des..
[11] Harald Ruess,et al. Lazy Theorem Proving for Bounded Model Checking over Infinite Domains , 2002, CADE.
[12] Olivier Coudert,et al. Verification of Synchronous Sequential Machines Based on Symbolic Execution , 1989, Automatic Verification Methods for Finite State Systems.
[13] Armin Biere,et al. Bounded Model Checking Using Satisfiability Solving , 2001, Formal Methods Syst. Des..
[14] Giorgio Delzanno. Automatic Verification of Parameterized Cache Coherence Protocols , 2000, CAV.
[15] Mary Sheeran,et al. Checking Safety Properties Using Induction and a SAT-Solver , 2000, FMCAD.
[16] Daniel Kroening,et al. Efficient Computation of Recurrence Diameters , 2003, VMCAI.
[17] Rajeev Alur,et al. Timed Automata , 1999, CAV.
[18] Armin Biere,et al. Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking , 2000, CAV.
[19] H. R. Simpson. Four-slot fully asynchronous communication mechanism , 1990 .
[20] Maria Sorea. Bounded Model Checking for Timed Automata , 2002, Electron. Notes Theor. Comput. Sci..