Predicate Abstraction via Symbolic Decision Procedures

DOI10.2168/LMCS-3(2:1)2007MaRDI QIDQ5310686zbMATH OpenOpenAlexFDO

Authors Shuvendu K. Lahiri, Thomas Ball, Byron Cook

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

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

Recommendations

• Computer Aided Verification
• A symbolic approach to predicate abstraction.
• Tools and Algorithms for the Construction and Analysis of Systems
• scientific article; zbMATH DE number 2102703
• Predicate abstraction with indexed predicates

Cited in

(13)

• Verification Modulo theories
• Complexity and Algorithms for Monomial and Clausal Predicate Abstraction
• Mixed concrete-symbolic predicate transformer
• Verification, Model Checking, and Abstract Interpretation
• Tools and Algorithms for the Construction and Analysis of Systems
• Predicate Abstraction in a Program Logic Calculus
• A symbolic approach to predicate abstraction.
• Abstraction and abstraction refinement
• Predicate abstraction with indexed predicates
• On height and happiness
• Computer Aided Verification
• Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL
• Predicate Abstraction with Under-approximation Refinement

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5310686)