𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Computer Aided Verification Volume 663 || Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits

✍ Scribed by Bochmann, Gregor; Probst, David Karl

Book ID
120291990
Publisher
Springer Berlin Heidelberg
Year
1993
Weight
564 KB
Category
Article
ISBN
3540475729

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 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

[Lecture Notes in Computer Science] Comp
[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
✍ Etessami, Kousha; Rajamani, Sriram K. πŸ“‚ Article πŸ“… 2005 πŸ› Springer Berlin Heidelberg 🌐 German βš– 87 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