Predicate abstraction with minimum predicates

DOI10.1007/B93958MaRDI QIDQ5897055zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(10)

• 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
• Accelerating predicate abstraction by minimum unsatisfiable cores extraction

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)