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...
preview:
http://www.amazon.com
10/5/2007
