Integrating BDD-Based and SAT-Based Symbolic Model Checking
暂无分享,去创建一个
Marco Pistore | Armando Tacchella | Marco Roveri | Enrico Giunchiglia | Alessandro Cimatti | Roberto Sebastiani | A. Cimatti | R. Sebastiani | A. Tacchella | Marco Roveri | M. Pistore | E. Giunchiglia
[1] Armando Tacchella,et al. Benefits of Bounded Model Checking at an Industrial Setting , 2001, CAV.
[2] R. BurchJ.,et al. Symbolic model checking , 1992 .
[3] Edmund M. Clarke,et al. Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..
[4] Gerard J. Holzmann,et al. The Model Checker SPIN , 1997, IEEE Trans. Software Eng..
[5] Joseph Sifakis,et al. Specification and verification of concurrent systems in CESAR , 1982, Symposium on Programming.
[6] Sérgio Vale Aguiar Campos,et al. Symbolic Model Checking , 1993, CAV.
[7] E. Clarke,et al. Symbolic model checking using SAT procedures instead of BDDs , 1999, Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361).
[8] Randal E. Bryant,et al. Symbolic Boolean manipulation with ordered binary-decision diagrams , 1992, CSUR.
[9] Xudong Zhao,et al. Word Level Symbolic Model Checking: A New Approach for Verifying Arithmetic Circuits , 1995 .
[10] Edmund M. Clarke,et al. Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic , 1981, Logic of Programs.
[11] Edmund M. Clarke,et al. Another Look at LTL Model Checking , 1994, Formal Methods Syst. Des..
[12] Masahiro Fujita,et al. Symbolic model checking using SAT procedures instead of BDDs , 1999, DAC '99.
[13] Kavita Ravi,et al. High-density reachability analysis , 1995, ICCAD.
[14] Erwin Engeler,et al. Logic of Programs, Workshop , 1981 .
[15] Enrico Giunchiglia,et al. Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability , 1998, AAAI/IAAI.
[16] Armando Tacchella,et al. Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability , 2001, IJCAR.
[17] Enrico Giunchiglia,et al. Applying the Davis-Putnam Procedure to Non-clausal Formulas , 1999, AI*IA.
[18] Sérgio Vale Aguiar Campos,et al. Compositional Reasoning in Model Checking , 1997, COMPOS.
[19] Moshe Y. Vardi,et al. Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification , 2000, CAV.
[20] F. Somenzi,et al. High-density reachability analysis , 1995, Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).
[21] Sharad Malik,et al. Chaff: engineering an efficient SAT solver , 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).
[22] Ofer Shtrichman. Tuning SAT Checkers for Bounded Model Checking , 2000, CAV 2000.
[23] Fausto Giunchiglia,et al. NUSMV: A New Symbolic Model Verifier , 1999, CAV.
[24] Parosh Aziz Abdulla,et al. Symbolic Reachability Analysis Based on SAT-Solvers , 2000, TACAS.
[25] Armin Biere,et al. Symbolic Model Checking without BDDs , 1999, TACAS.