2000/01/01 by Edmund Clarke, Edmund M. Clarke, Orna Grumberg +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
paper · doi:10.1007/10722167_15
crossref issued 2000/01/01 · crossref published 2000/01/01 · crossref published-print 2000/01/01 · openalex publication_date 2000/01/01 · crossref created 2006/12/30 · crossref deposited 2025/01/12 · openalex created_date 2025/10/10 · crossref indexed 2026/07/29 · openalex updated_date 2026/07/29