Black Friday Deal | Save up to $20. Get the code »

Formal Refinement for Operating System Kernels

by

Write The First Customer Review

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.

Formal Refinement for Operating System Kernels 2010, Springer London Ltd, England

ISBN-13: 9781849966894

Paperback

Select
Formal Refinement for Operating System Kernels 2007, Springer, London, England

ISBN-13: 9781846289668

2007 edition

Hardcover

Select