✦ LIBER ✦

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 7321 || Model Checking as Static Analysis: Revisited

✍ Scribed by Derrick, John; Gnesi, Stefania; Latella, Diego; Treharne, Helen

Book ID: 115463688
Publisher: Springer Berlin Heidelberg
Year: 2012
Weight: 308 KB
Category: Article
ISBN: 3642307299
DOI: 10.1007/978-3-642-30729-4_8

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 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] FM 2

[Lecture Notes in Computer Science] FM 2008: Formal Methods Volume 5014 || A Model Checking Language for Concurrent Value-Passing Systems

✍ Cuellar, Jorge; Maibaum, Tom; Sere, Kaisa 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 583 KB

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Software Science and Computational Structures Volume 6014 || Model Checking Is Static Analysis of Modal Logic

✍ Ong, Luke 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 301 KB

[Lecture Notes in Computer Science] Inte

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 2999 || Using UML Sequence Diagrams as the Basis for a Formal Test Description Language

✍ Boiten, Eerke A.; Derrick, John; Smith, Graeme 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 422 KB

[Lecture Notes in Computer Science] Corr

[Lecture Notes in Computer Science] Correct Hardware Design and Verification Methods Volume 1703 || Bisimulation and Model Checking

✍ Pierre, Laurence; Kropf, Thomas 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg ⚖ 93 KB

[Lecture Notes in Computer Science] 25 Y

[Lecture Notes in Computer Science] 25 Years of Model Checking Volume 5000 || Fifteen Years of Formal Property Verification in Intel

✍ Grumberg, Orna; Veith, Helmut 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 216 KB