Download or read book Formal Refinement for Operating System Kernels written by Iain D. Craig and published by Springer Science & Business Media. This book was released on 2007-07-18 with total page 343 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.