ENGLISH

Formal Models of Operating System Kernels

By Iain D. Craig

Book information

Publisher
Springer
Year
2006
ISBN
1846283752, 9781846283758, 9781846287183
Open Library ID
OL8962571M
Language
english
Format
PDF
Filesize
2 MB (1682143 bytes)
Edition
1st Edition.
Pages
342\342
Time added
2011-08-31 04:54:40

Description

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.

Similar books