Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement

Publisher Website

1 January 2004

book chapter
Published by Springer Nature

p. 457-461
https://doi.org/10.1007/978-3-540-27813-9_36

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

Refining Approximations in Software Predicate Abstraction
Published by Springer Nature ,2004
Theorem Proving Using Lazy Proof Explication
Published by Springer Nature ,2003
A Symbolic Approach to Predicate Abstraction
Published by Springer Nature ,2003
Automatic predicate abstraction of C programs
Published by Association for Computing Machinery (ACM) ,2001