Monotonic Abstraction-Refinement for CTL

This publication has 16 references indexed in Scilit:

• On the Expressiveness of 3-Valued Models
  Published by Springer Nature ,2002
• Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis
  Published by Springer Nature ,2002
• Symbolic Localization Reduction with Reconstruction Layering and Backtracking
  Published by Springer Nature ,2002
• SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques
  Published by Springer Nature ,2002
• Automatic Abstraction Using Generalized Model Checking
  Published by Springer Nature ,2002
• Abstraction-Based Model Checking Using Modal Transition Systems
  Published by Springer Nature ,2001
• Modal Transition Systems: A Foundation for Three-Valued Program Analysis
  Published by Springer Nature ,2001
• Counterexample-Guided Abstraction Refinement
  Published by Springer Nature ,2000
• Abstract interpretation of reactive systems
  ACM Transactions on Programming Languages and Systems, 1997
• Property preserving abstractions for the verification of concurrent systems
  Formal Methods in System Design, 1995