✦ LIBER ✦

A UTP approach towards probabilistic protocol verification

✍ Scribed by Riccardo Bresciani; Andrew Butterfield

Book ID: 112206385
Publisher: John Wiley and Sons
Year: 2012
Tongue: English
Weight: 183 KB
Volume: 7
Category: Article
ISSN: 1939-0114
DOI: 10.1002/sec.546

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A procedure for probabilistic protocol v

A procedure for probabilistic protocol verification

✍ Dimitrijevic, D.D.; Chen, M.-S. 📂 Article 📅 1992 🏛 IEEE 🌐 English ⚖ 910 KB

A relational algebraic approach to proto

A relational algebraic approach to protocol verification

✍ Lee, T.T.; Lai, M.-Y. 📂 Article 📅 1988 🏛 IEEE 🌐 English ⚖ 764 KB

Towards a transformational approach to p

Towards a transformational approach to program verification

✍ Myla Archer; Amy Lo; Ronald A. Olsson 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 182 KB 👁 1 views

Although most typically used in other contexts, program transformations can simplify program verification by transforming a program containing complex language features into a semantically equivalent program containing only simpler language features. The proof of the transformed program can then be

Toward a probabilistic approach to compl

Toward a probabilistic approach to complex systems

✍ G. Nicolis; P. Gaspard 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 898 KB

Towards verification of C# programs: A t

Towards verification of C# programs: A three-level approach

✍ V. A. Nepomniaschy; I. S. Anureev; I. V. Dubranovskii; A. V. Promsky 📂 Article 📅 2006 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 217 KB

Toward efficient protocol design through

Toward efficient protocol design through protocol profiling and performance assessment: using formal verification in a different context

✍ Stylianos Georgoulas; Klaus Moessner 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 256 KB