Predicate Abstraction via Symbolic Decision Procedures

DOI10.2168/LMCS-3(2:1)2007zbMath1128.03019OpenAlexW3103629895MaRDI QIDQ5310686

Byron Cook, Shuvendu K. Lahiri, Thomas Ball

Publication date: 11 October 2007

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-3(2:1)2007

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25)

Related Items (2)

Abstraction and Abstraction Refinement ⋮ Verification Modulo theories

This page was built for publication: Predicate Abstraction via Symbolic Decision Procedures