✦ LIBER ✦

[Lecture Notes in Computer Science] Formal Methods in Computer-Aided Design Volume 1166 || Coverage-directed test generation using symbolic techniques

✍ Scribed by Srivas, Mandayam; Camilleri, Albert

Book ID: 121421359
Publisher: Springer Berlin Heidelberg
Year: 1996
Weight: 981 KB
Category: Article
ISBN: 3540495673
DOI: 10.1007/BFb0031805

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods in Computer-Aided Design Volume 1166 || Validity checking for combinations of theories with equality

✍ Srivas, Mandayam; Camilleri, Albert 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 997 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods in Computer-Aided Design Volume 1954 || Monitor-Based Formal Specification of PCI

✍ Hunt, Warren A.; Johnson, Steven D. 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg ⚖ 315 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods in Computer-Aided Design Volume 1522 || Model Checking VHDL with CV

✍ Gopalakrishnan, Ganesh; Windley, Phillip 📂 Article 📅 1998 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 224 KB

This Volumecontains The Proceedingsof The Second Internationalconferenceon Formal Methods In Computer-aided Design (fmcad’98), Organized November 4-6, In Palo Alto, California, Usa. The Rst Event Of This Series Was Organized Bymandayamsrivasand Albert Camilleriin 1996 Inpaloalto. Fmcad,which Evolved

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods in Computer-Aided Design Volume 3312 || Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques

✍ Hu, Alan J.; Martin, Andrew K. 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 301 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Aided Verification Volume 6806 || Using Coverage to Deploy Formal Verification in a Simulation World

✍ Gopalakrishnan, Ganesh; Qadeer, Shaz 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 239 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods in Computer-Aided Design Volume 1954 || Applications of Hierarchical Verification in Model Checking

✍ Hunt, Warren A.; Johnson, Steven D. 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 503 KB

The biannual Formal Methods in Computer Aided Design conference (FMCAD 2000)is the third in a series of conferences under that title devoted to the use of discrete mathematical methods for the analysis of computer hardware and so- ware. The work reported in this book describes the use of modeling la