𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement

✍ Scribed by Alur, Rajeev; Peled, Doron A.

Book ID
120639495
Publisher
Springer Berlin Heidelberg
Year
2004
Weight
90 KB
Category
Article
ISBN
3540278133

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] Comp
[Lecture Notes in Computer Science] Computer Aided Verification Volume 2725 || A Symbolic Approach to Predicate Abstraction
✍ Hunt, Warren A.; Somenzi, Fabio πŸ“‚ Article πŸ“… 2003 πŸ› Springer Berlin Heidelberg 🌐 English βš– 263 KB

TheΒ refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003. The 32 revised full papers and 9 tool papers presented were carefully reviewed and selected from a total of 102 submissions. The papers are organized in topi