Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement.

In  16th International Conference on Computer Aided Verification (CAV 2004)

Publisher  Springer

Details

TypeInproceedings
Pages457-461
Volume3114
SeriesLecture Notes in Computer Science
AddressBoston, MA, USA
> Publications > Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement.