Formal Refinement for Operating System Kernels

by Iain D. Craig

Book Overview

This book was written as a companion to my book on modelling operating system kernels. It is intended to demonstrate that the formal derivation of kernels is possible (and, actually, quite easy, or so I have found thus far). Itisimportantforthereadertounderstandthatthere?nementscontained in this book are not the only ones I have performed of microkernels. To date, I have re?ned four microkernels down to executable code and have now p- duced a kit...

• Format: Paperback
• Language: English
• ISBN: 1849966893
• ISBN13: 9781849966894
• Release Date: October 2010
• Publisher: Springer
• Length: 332 Pages
• Weight: 1.08 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"