Predicate Abstraction of Programs with Non-linear Computation

DOI10.1007/11901914_27MaRDI QIDQ3522920zbMATH OpenOpenAlexFDO

Authors Songtao Xia, Ben L. Di Vito, César Muñoz

Publication date 4 September 2008

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Predicate abstraction for program verification
• Predicate Abstraction in Program Verification: Survey and Current Trends
• Predicate abstraction of ANSI-C programs using SAT
• Verification and falsification of programs with loops using predicate abstraction
• Predicate abstraction for software verification

Cited in

(7)

• Model Checking Recursive Programs with Exact Predicate Abstraction
• Predicate Abstraction in a Program Logic Calculus
• Optimal Abstraction on Real-Valued Programs
• Combining Predicate Abstraction with Fixpoint Approximations
• Tools and Algorithms for the Construction and Analysis of Systems
• Predicate Abstraction with Under-approximation Refinement
• Verification, Model Checking, and Abstract Interpretation

Describes a project that uses

Uses Software

• d/dt
• BLAST
• RealPaver

This page was built for publication: Predicate Abstraction of Programs with Non-linear Computation

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