Publisher description
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
More books by Iain D. Craig
Similar books
Rate the book
Write a review and share your opinion with others. Try to focus on the content of the book. Read our instructions for further information.
Formal Refinement for Operating System Kernels
Book reviews » Formal Refinement for Operating System Kernels
|
|
 |
|
|
|
|
