Publication year: 2007
: 978-1-84628-967-5
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 sense.
: Computer Science, Kernels, Refinement, Separation Kernel, kernel, operating system, security, user interface