✦ LIBER ✦

Operating system verification—An overview

✍ Scribed by Gerwin Klein

Book ID: 107590145
Publisher: Indian Academy of Sciences
Year: 2009
Tongue: English
Weight: 518 KB
Volume: 34
Category: Article
ISSN: 0256-2499
DOI: 10.1007/s12046-009-0002-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An overview of fingerprint verification

An overview of fingerprint verification technologies

✍ Lawrence O'Gorman 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 267 KB

## Report highlights number of such messages depends on whether the entity authentication mechanism is one, two or three pass, while the mechanism itself can be based on symmetric or asymmetric algorithms or cryptographic check functions. If the responding party cannot comply with the requested me

Operator formalisms: An overview

✍ Alex D. Bain 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 158 KB

An overview of the verification of SET

✍ Giampaolo Bella; Fabio Massacci; Lawrence C. Paulson 📂 Article 📅 2005 🏛 Springer-Verlag 🌐 English ⚖ 951 KB

An operating instructional system

✍ Canfield, Roy M. 📂 Article 📅 1966 🏛 Wiley (John Wiley & Sons) ⚖ 679 KB

The SH-Verification Tool — Abstraction-B

The SH-Verification Tool — Abstraction-Based Verification of Co-operating Systems

✍ P. Ochsenschläger; J. Repp; R. Rieke; U. Nitsche 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 193 KB

An Overview of the Runtime Verification

An Overview of the Runtime Verification Tool Java PathExplorer

✍ Klaus Havelund; Grigore Roşu 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 181 KB