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

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

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)

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

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)