✦ LIBER ✦

Formal Verification of a Distributed Computer System

✍ Scribed by M. Merritt; A. Orda; S.R Sachs

Book ID: 111716242
Publisher: Springer
Year: 1997
Tongue: English
Weight: 220 KB
Volume: 10
Category: Article
ISSN: 0925-9856
DOI: 10.1023/a:1008667631119

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Towards a Formal Verification of a Secur

Towards a Formal Verification of a Secure and Distributed System and its Applications : Cui Zhang, Rob Shaw, Mark Heckman, Gregory Benson, Myla Archer, Karl Levitt and Ronald Olsson, Dept. Computer Science, University of California, Davis, CA

✍ Harold Joseph Highland 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 126 KB

Formal development and verification of a

Formal development and verification of a distributed railway control system

✍ Haxthausen, A.E.; Peleska, J. 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 275 KB

Toward the Formal Verification of a Unif

Toward the Formal Verification of a Unification System

✍ Hui Liu; Jinglei Zhao; Ruzhan Lu 📂 Article 📅 2009 🏛 IEEE 🌐 English ⚖ 310 KB

Toward the Formal Verification of a Unif

Toward the Formal Verification of a Unification System

✍ Hui Liu; Jinglei Zhao; Ruzhan Lu 📂 Article 📅 2009 🏛 IEEE 🌐 English ⚖ 307 KB

LVT: a layered verification technique fo

LVT: a layered verification technique for distributed computing systems

✍ Cui Zhang; Brian R. Becker; Dave Peticolas; Ronald A. Olsson; Karl N. Levitt 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 185 KB 👁 2 views

This paper presents a layered verification technique, called LVT, for the verification of distributed computing systems with multiple component layers. Each lower layer in such a system provides services in support of functionality of the higher layer. By taking a very general view of programming la

A computer checked algebraic verificatio

A computer checked algebraic verification of a distributed summation algorithm

✍ Jan Friso Groote; François Monin; Jan Springintveld 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 217 KB