Formal Refinement for Operating System Kernels
Craig, Iain D.![Formal Refinement for Operating System Kernels](https://support.digitalhusky.com/media/annotations/sorted/107/10770736/CHSBZCOP0310770736.jpg)
The kernel of any operating system is its most critical component. The remainder of the system depends upon a correctly functioning and reliable kernel for its operation.
The purpose of this book is to show that the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of executable code. The formal refinement process ensures that the code meets the specification in a precise se...