𝔖 Bobbio Scriptorium

✦ LIBER ✦

[Lecture Notes in Computer Science] Computer Aided Verification Volume 8044 || First-Order Theorem Proving and Vampire

✍ Scribed by Sharygina, Natasha; Veith, Helmut

Book ID: 121086486
Publisher: Springer Berlin Heidelberg
Year: 2013
Weight: 436 KB
Category: Article
ISBN: 3642397999
DOI: 10.1007/978-3-642-39799-8_1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Inte

[Lecture Notes in Computer Science] Interactive Theorem Proving Volume 7406 || Computer-Aided Cryptographic Proofs

✍ Beringer, Lennart; Felty, Amy 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 283 KB

[Lecture Notes in Computer Science] Comp

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

✍ Alur, Rajeev; Peled, Doron A. 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 90 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1633 || Timed Automata

✍ Halbwachs, Nicolas; Peled, Doron 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg ⚖ 494 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Aided Verification Volume 4590 || CVC3

✍ Damm, Werner; Hermanns, Holger 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg ⚖ 177 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Aided Verification Volume 818 || Automatic verification of timed circuits

✍ Dill, David L. 📂 Article 📅 1994 🏛 Springer Berlin Heidelberg ⚖ 820 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1633 || Abstract and Model Check while You Prove

✍ Halbwachs, Nicolas; Peled, Doron 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 623 KB

This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99. The 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. Also included