Terminator: Beyond Safety
Lecture notes in computer science2006pp. 415–418
Citations Over TimeTop 10% of 2006 papers
Related Papers
- → Infinite-state invariant checking with IC3 and predicate abstraction(2016)49 cited
- → Model Checking Software via Abstraction of Loop Transitions(2003)7 cited
- → Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction(2007)2 cited
- → Model checking procedures for infinite state systems(2006)2 cited
- SAT-based program predicate abstraction(2008)