Verification, Model Checking, and Abstract Interpretation
From MaRDI portal
Publication:5901914
DOI10.1007/b94790zbMath1202.68251MaRDI QIDQ5901914
Shuvendu K. Lahiri, Randal E. Bryant
Publication date: 15 May 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b94790
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Complexity and Algorithms for Monomial and Clausal Predicate Abstraction, An Assume Guarantee Approach for Checking Quantified Array Assertions, Abstraction Refinement for Quantified Array Assertions, Verifying Reference Counting Implementations