Concrete Model Checking with Abstract Matching and Refinement
- 1 January 2005
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Software Model Checking: The VeriSoft ApproachFormal Methods in System Design, 2005
- Proof-guided underapproximation-widening for multi-process systemsPublished by Association for Computing Machinery (ACM) ,2005
- Three-valued abstractions of games: uncertainty, but with precisionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2004
- The existence of finite abstractions for branching time model checkingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2004
- Predicate Abstraction with Minimum PredicatesLecture Notes in Computer Science, 2003
- Quickly detecting relevant program invariantsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Abstraction-Based Model Checking Using Modal Transition SystemsLecture Notes in Computer Science, 2001
- Incompleteness, Counterexamples, and Refinements in Abstract Model-CheckingLecture Notes in Computer Science, 2001
- Boolean and Cartesian Abstraction for Model Checking C ProgramsLecture Notes in Computer Science, 2001
- Abstract Interpretation FrameworksJournal of Logic and Computation, 1992