✦ LIBER ✦

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

✍ Scribed by Damm, Werner; Hermanns, Holger

Book ID: 115467036
Publisher: Springer Berlin Heidelberg
Year: 2007
Tongue: German
Weight: 607 KB
Edition: 2007
Category: Article
ISBN: 3540733671
DOI: 10.1007/978-3-540-73368-3_4

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 || 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 4590 || On Synthesizing Controllers from Bounded-Response Properties

✍ Damm, Werner; Hermanns, Holger 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 466 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 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 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