Predicate Abstraction of Programs with Non-linear Computation

DOI10.1007/11901914_27zbMath1161.68590OpenAlexW1562867763MaRDI QIDQ3522920

Ben L. Di Vito, Songtao Xia, César A. 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)

Uses Software

• BLAST
• RealPaver
• d/dt

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