- Model Checking
2009/03/09 by Doron Peled, Patrizio Pelliccione, Paola Spoletini · 1 citation
Computer Science · Mathematics · #Formal Methods in Verification #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #Model checking #Computer science #Abstraction model checking #State space #State (computer science) #Programming language #Software #Theoretical computer science #Algorithm #Mathematics
- Counterexample-guided abstraction refinement for symbolic model checking
2003/09/01 by Edmund Clarke, Edmund M. Clarke, Orna Grümberg +4 · 57 citations
Computer Science · Engineering · Mathematics · #Abstraction #Abstraction model checking #Algorithm #Computer science #Counterexample #Formal Methods in Verification #Formal verification #Mathematics #Model checking #Programming language #Radiation Effects in Electronics #Software Testing and Debugging Techniques #Spurious relationship #State space #Symbolic data analysis #Symbolic trajectory evaluation #Theoretical computer science
- Efficient on-the-fly model-checking for regular alternation-free mu-calculus
2002/11/05 by Radu Mateescu, Mihaela Sighireanu · 1 citation
Computer Science · #Abstraction model checking #Algorithm #Computer science #Formal Methods in Verification #Liveness #Model checking #Programming language #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #Temporal logic #Theoretical computer science
- Counterexample-Guided Abstraction Refinement
2000/01/01 by Edmund Clarke, Edmund M. Clarke, Orna Grümberg +4 · 1 citation
Computer Science · Mathematics · #Abstract interpretation #Abstraction #Abstraction model checking #Algorithm #Computer science #Counterexample #Discrete mathematics #Formal Methods in Verification #Logic, programming, and type systems #Mathematics #Model checking #Predicate abstraction #Programming language #Software Testing and Debugging Techniques #Spurious relationship #State space #Theoretical computer science
- Model-Checking
1999/01/01 by Markus Müller-Olm, David Schmidt, Bernhard Steffen · 1 citation
Computer Science · Engineering · #Abstraction model checking #Computer science #Formal Methods in Verification #Model checking #Programming language #Property (philosophy) #Safety Systems Engineering in Autonomy #Software Testing and Debugging Techniques #Software engineering #Theoretical computer science