✦ LIBER ✦

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 4762 || On-the-Fly Model Checking of Fair Non-repudiation Protocols

✍ Scribed by Namjoshi, Kedar S.; Yoneda, Tomohiro; Higashino, Teruo; Okamura, Yoshio

Book ID: 120340564
Publisher: Springer Berlin Heidelberg
Year: 2007
Weight: 490 KB
Category: Article
ISBN: 3540755950
DOI: 10.1007/978-3-540-75596-8_36

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

[Lecture Notes in Computer Science] Information Security Volume 2851 || On the Security of Fair Non-repudiation Protocols

✍ Boyd, Colin; Mao, Wenbo 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg ⚖ 199 KB

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 4762 || Automatic Merge-Point Detection for Sequential Equivalence Checking of System-Level and RTL Descriptions

✍ Namjoshi, Kedar S.; Yoneda, Tomohiro; Higashino, Teruo; Okamura, Yoshio 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg ⚖ 305 KB

[Lecture Notes in Computer Science] Veri

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 3385 || Cryptographic Protocol Analysis on Real C Code

✍ Cousot, Radhia 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 446 KB

[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 3707 || Introducing Dynamic Properties with Past Temporal Operators in the B Refinement

✍ Peled, Doron A.; Tsay, Yih-Kuen 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 302 KB