Formal Refinement for Operating System Kernels by Iain D. Craig.
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 pr...
Description complète
Enregistré dans: