✦ LIBER ✦

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

✍ Scribed by Dill, David L.

Book ID: 111653874
Publisher: Springer Berlin Heidelberg
Year: 1994
Weight: 820 KB
Category: Article
ISBN: 3540484698
DOI: 10.1007/3-540-58179-0_76

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 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 1102 || Automatic verification of parameterized synchronous systems

✍ Alur, Rajeev; Henzinger, Thomas A. 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 960 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Aided Verification Volume 4590 || Algorithms for Interface Synthesis

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

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1855 || Boolean Satisfiability with Transitivity Constraints

✍ Emerson, E. Allen; Sistla, Aravinda Prasad 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 192 KB

This volume contains the proceedings of the 12th International Conference on Computer Aided Veri?cation (CAV 2000) held in Chicago, Illinois, USA during 15-19 July 2000. The CAV conferences are devoted to the advancement of the theory and practice of formal methods for hardware and software veri?cat

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Aided Verification Volume 4590 || The Why/Krakatoa/Caduceus Platform for Deductive Program Verification

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

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Aided Verification Volume 5123 || Assertion-Based Verification: Industry Myths to Realities (Invited Tutorial)

✍ Gupta, Aarti; Malik, Sharad 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 196 KB