Publication Date: 2007
ISBN: 978-1-84628-967-5
Internet Resource: Please Login to download book
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.
Subject: Computer Science, Kernels, Refinement, Separation Kernel, kernel, operating system, security, user interface