Predicate abstraction with minimum predicates

DOI10.1007/B93958zbMATH Open1179.68033OpenAlexW219731125MaRDI QIDQ5897055FDOQ5897055

Authors: Sagar Chaki, Alex Groce, Ofer Strichman, Edmund Clarke 

Publication date: 5 February 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b93958

Recommendations

• Tools and Algorithms for the Construction and Analysis of Systems
• Predicate abstraction of ANSI-C programs using SAT
• Predicate Abstraction in Program Verification: Survey and Current Trends
• Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction
• Predicate abstraction in a program logic calculus

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (9)

• Combining Predicate Abstraction with Fixpoint Approximations
• Predicate abstraction in a program logic calculus
• Compositional Predicate Abstraction from Game Semantics
• Predicate abstraction of ANSI-C programs using SAT
• Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction
• Verification and falsification of programs with loops using predicate abstraction
• Making predicate abstraction efficient: how to eliminate redundant predicates
• Predicate Abstraction with Under-approximation Refinement
• Predicate abstraction with indexed predicates

This page was built for publication: Predicate abstraction with minimum predicates

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