Title:
Formal Refinement for Operating System Kernels
Personal Author:
Publication Information:
London : Springer-Verlag London Ltd, 2007.
Physical Description:
xiii, 332 p. : digital ; 25 cm.
ISBN:
9781846289675
General Note:
Available in online version
Subject Term:
Added Corporate Author:
Electronic Access:
Full Text
Genre:
DSP_RESTRICTION_NOTE:
Remote access restricted to users with a valid UTM ID via VPN
Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
|---|---|---|---|---|---|
Searching... | EB000691 | EB 000691 | Electronic Book | 1:EBOOK | Searching... |
On Order
Summary
Summary
The kernel of any operating system is its most critical component, as the rest of the system depends on it. This book shows how the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of executable code. This formal refinement process ensures that the code precisely meets the specification. The author documents the complete process, including proofs.
