Formal Models Of Operating System Kernels
Download Formal Models Of Operating System Kernels PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Formal Models Of Operating System Kernels book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Formal Models of Operating System Kernels
Author: Iain D. Craig
language: en
Publisher: Springer Science & Business Media
Release Date: 2007-03-06
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.
Formal Refinement for Operating System Kernels
Author: Iain D. Craig
language: en
Publisher: Springer Science & Business Media
Release Date: 2007-07-18
The kernel of any operating system is its most critical component, as the rest of the system depends on it. This book shows how the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of executable code. This formal refinement process ensures that the code precisely meets the specification. The author documents the complete process, including proofs.
Formal Refinement for Operating System Kernels
The kernel of any operating system is its most critical component, as the rest of the system depends on it. This book shows how the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of executable code. This formal refinement process ensures that the code precisely meets the specification. The author documents the complete process, including proofs.