✦ LIBER ✦

[Lecture Notes in Computer Science] Computer-Aided Verification Volume 531 || Memory efficient algorithms for the verification of temporal properties

✍ Scribed by Clarke, Edmund M.; Kurshan, Robert P.

Book ID: 121832324
Publisher: Springer-Verlag
Year: 1991
Tongue: German
Weight: 768 KB
Edition: 1991
Category: Article
ISBN-13: 9783540544777
DOI: 10.1007/BFb0023737

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 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 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 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 818 || Automatic verification of pipelined microprocessor control

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

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || The Quest for Efficient Boolean Satisfiability Solvers

✍ Brinksma, Ed; Larsen, Kim Guldstrand 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg ⚖ 150 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || The d/dt Tool for Verification of Hybrid Systems

✍ Brinksma, Ed; Larsen, Kim Guldstrand 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 114 KB

This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), held in Copenhagen, Denmark on July 27-31, 2002. CAV 2002 was the 14th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for