Formal Models of Operating System Kernels
Author | : Iain D. Craig |
Publisher | : Springer Science & Business Media |
Total Pages | : 341 |
Release | : 2007-03-06 |
ISBN-10 | : 9781846287183 |
ISBN-13 | : 1846287189 |
Rating | : 4/5 (189 Downloads) |
Book Synopsis Formal Models of Operating System Kernels by : Iain D. Craig
Download or read book Formal Models of Operating System Kernels written by Iain D. Craig and published by Springer Science & Business Media. This book was released on 2007-03-06 with total page 341 pages. Available in PDF, EPUB and Kindle. Book excerpt: Operating systems kernels are central to the functioning of computers. Security of the overall system, as well as its reliability and responsiveness, depend upon the correct functioning of the kernel. This unique approach – presenting a formal specification of a kernel – starts with basic constructs and develops a set of kernels; proofs are included as part of the text.