✦ LIBER ✦

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis || Verification of Computer Switching Networks: An Overview

✍ Scribed by Chakraborty, Supratik; Mukund, Madhavan

Book ID: 120642218
Publisher: Springer Berlin Heidelberg
Year: 2012
Weight: 467 KB
Category: Article
ISBN: 3642333869
DOI: 10.1007/978-3-642-33386-6_1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 66 || Variable Probabilistic Abstraction Refinement

✍ Chakraborty, Supratik; Mukund, Madhavan 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 319 KB

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 5311 || Goanna: Syntactic Software Model Checking

✍ Cha, Sungdeok (Steve); Choi, Jin-Young; Kim, Moonzoo; Lee, Insup; Viswanathan, M 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 132 KB

This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. The 21 revised full papers 5 short papers and 7 tool papers presented together with 3 invited talks were carefull

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 5311 || Decidable Compositions of O-Minimal Automata

✍ Cha, Sungdeok (Steve); Choi, Jin-Young; Kim, Moonzoo; Lee, Insup; Viswanathan, M 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 351 KB

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 6996 || Algorithms for Synthesizing Priorities in Component-Based Systems

✍ Bultan, Tevfik; Hsiung, Pao-Ann 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 409 KB

This book constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011. The 23 revised regular papers presented together with 5 invited papers, 11 short papers, and 2 tool papers, wer

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer-Aided Verification Volume 531 || Memory efficient algorithms for the verification of temporal properties

✍ Clarke, Edmund M.; Kurshan, Robert P. 📂 Article 📅 1991 🏛 Springer-Verlag 🌐 German ⚖ 768 KB

[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