Formal Models of Operating System Kernels
Publication year: 2007
ISBN: 978-1-84628-718-3
Internet Resource: Please Login to download book
The purpose of this book is to show that the formal specification of kernels is not only possible but also necessary if operating systems are to achieve the levels of reliability and security that is demanded of them today. Specifications of a sequence of kernels of increasing complexity are included, acting as models to enable the designer to identify and reason about the properties of the design – thus making explicit that which is too often left implicit or even unknown.
Subject: Computer Science, Hardware, Performance, Text, complexity, computer, data structures, formal specification, kernel, operating system, security
