✦ LIBER ✦

Efficient verification of security protocols using partial-order reductions

✍ Scribed by Edmund Clarke; Somesh Jha; Will Marrero

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal Verification of a Partial-Order R

✍ Ching-Tsun Chou; Doron Peled 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 147 KB

Partial Order Reduction for Verification

✍ Reynald Affeldt; Naoki Kobayashi 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 307 KB

Efficient simulation of hard disk drive

✍ W. Z. Lin; E. T. Ong; E. H. Ong 📂 Article 📅 2009 🏛 Springer-Verlag 🌐 English ⚖ 369 KB

A Fast and Highly Efficient Protocol for

✍ Rajanarendar Eligeti; Siva Rami Reddy Atthunuri; Raju Samala; Firoz Pasha Shaik; 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 50 KB 👁 2 views

ChemInform Abstract: A Fast and Highly E

✍ Rajanarendar Eligeti; Siva Rami Reddy Atthunuri; Raju Samala; Firoz Pasha Shaik; 📂 Article 📅 2011 🏛 John Wiley and Sons ⚖ 28 KB 👁 2 views

MAGNA CARTAThe Great CharterPreamble

📂 Fiction 🌐 English ⚖ 11 KB 👁 18 views