✦ LIBER ✦

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1254 || Deadlock checking using net unfoldings

✍ Scribed by Grumberg, Orna

Book ID: 120291991
Publisher: Springer Berlin Heidelberg
Year: 1997
Weight: 908 KB
Category: Article
ISBN: 3540691952
DOI: 10.1007/3-540-63166-6_35

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 1102 || PVS: Combining specification, proof checking, and model checking

✍ Alur, Rajeev; Henzinger, Thomas A. 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 309 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 663 || Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits

✍ Bochmann, Gregor; Probst, David Karl 📂 Article 📅 1993 🏛 Springer Berlin Heidelberg ⚖ 564 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 3576 || Incremental and Complete Bounded Model Checking for Full PLTL

✍ Etessami, Kousha; Rajamani, Sriram K. 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 216 KB

This Volume Contains The Proceedings Of The International Conference On Computer Aided Veri?cation (cav), Held In Edinburgh, Scotland, July 6–10, 2005. Cav 2005 Was The Seventeenth In A Series Of Conferences Dedicated To The Advancement Of The Theory And Practice Of Computer-assisted Formal An- Ysis