Verification, Model Checking, and Abstract Interpretation

DOI10.1007/b94790zbMath1202.68251OpenAlexW3146639584MaRDI 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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (10)

RustHorn: CHC-Based Verification for Rust Programs ⋮ Convergence: integrating termination and abort-freedom ⋮ Synthesizing history and prophecy variables for symbolic model checking ⋮ An extension of lazy abstraction with interpolation for programs with arrays ⋮ Complexity and Algorithms for Monomial and Clausal Predicate Abstraction ⋮ Lost in abstraction: monotonicity in multi-threaded programs ⋮ An Assume Guarantee Approach for Checking Quantified Array Assertions ⋮ Verifying Reference Counting Implementations ⋮ Counter Abstraction in the CSP/FDR setting ⋮ Abstraction Refinement for Quantified Array Assertions

This page was built for publication: Verification, Model Checking, and Abstract Interpretation