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)

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

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)