Monotonic Abstraction-Refinement for CTL
暂无分享,去创建一个
[1] Abelardo Pardo,et al. Tearing based automatic abstraction for CTL model checking , 1996, Proceedings of International Conference on Computer Aided Design.
[2] Marsha Chechik,et al. Multi-valued symbolic model-checking , 2003, TSEM.
[3] Ofer Strichman,et al. SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques , 2002, CAV.
[4] Helmut Veith,et al. Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis , 2002, FMCAD.
[5] Radha Jagadeesan,et al. Modal Transition Systems: A Foundation for Three-Valued Program Analysis , 2001, ESOP.
[6] A. Tarski. A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS , 1955 .
[7] Daniel Geist,et al. Symbolic Localization Reduction with Reconstruction Layering and Backtracking , 2002, CAV.
[8] Orna Grumberg,et al. Abstract interpretation of reactive systems , 1997, TOPL.
[9] Radha Jagadeesan,et al. On the Expressiveness of 3-Valued Models , 2002, VMCAI.
[10] Edmund M. Clarke,et al. Counterexample-Guided Abstraction Refinement , 2000, CAV.
[11] Kim G. Larsen,et al. A modal process logic , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
[12] Patrick Cousot,et al. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.
[13] Kousha Etessami,et al. Analysis of Recursive Game Graphs Using Data Flow Equations , 2004, VMCAI.
[14] G. Hachtel,et al. Tearing based automatic abstraction for CTL model checking , 1996, ICCAD 1996.
[15] Orna Grumberg,et al. A game-based framework for CTL counterexamples and 3-valued abstraction-refinement , 2003, TOCL.
[16] Kedar S. Namjoshi. Abstraction for Branching Time Properties , 2003, CAV.
[17] R. Milner,et al. Bigraphical Reactive Systems , 2001, CONCUR.
[18] Radha Jagadeesan,et al. Automatic Abstraction Using Generalized Model Checking , 2002, CAV.
[19] Stephan Merz,et al. Model Checking , 2000 .
[20] 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..
[21] Joseph Sifakis,et al. Property preserving abstractions for the verification of concurrent systems , 1995, Formal Methods Syst. Des..
[22] Radha Jagadeesan,et al. Abstraction-Based Model Checking Using Modal Transition Systems , 2001, CONCUR.
[23] Abelardo Pardo,et al. Incremental CTL model checking using BDD subsetting , 1998, Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).
[24] Abelardo Pardo,et al. Automatic Abstraction Techniques for Propositional µ-calculus Model Checking , 1997, CAV.