Formal Models of Operating System Kernels

Formal Models of Operating System Kernels
Author :
Publisher : Springer Science & Business Media
Total Pages : 341
Release :
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.


Formal Models of Operating System Kernels Related Books

Formal Models of Operating System Kernels
Language: en
Pages: 341
Authors: Iain D. Craig
Categories: Computers
Type: BOOK - Published: 2007-03-06 - Publisher: Springer Science & Business Media

GET EBOOK

Operating systems kernels are central to the functioning of computers. Security of the overall system, as well as its reliability and responsiveness, depend upo
Reflections on the Work of C.A.R. Hoare
Language: en
Pages: 434
Authors: Cliff B. Jones
Categories: Computers
Type: BOOK - Published: 2010-09-28 - Publisher: Springer Science & Business Media

GET EBOOK

Written in honor of Sir Tony Hoare's 75th Birthday, this book provides a discussion of the influence of Hoare's work on current research from an international s
Communication, Management and Information Technology
Language: en
Pages: 805
Authors: Marcelo Sampaio de Alencar
Categories: Business & Economics
Type: BOOK - Published: 2016-11-03 - Publisher: CRC Press

GET EBOOK

Communication, Management and Information Technology contains the contributions presented at the International Conference on Communication, Management and Infor
Formal Methods: Foundations and Applications
Language: en
Pages: 360
Authors: Marcel Vinícius Medeiros Oliveira
Categories: Computers
Type: BOOK - Published: 2009-11-09 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013
Abstract State Machines, Alloy, B and Z
Language: en
Pages: 429
Authors: Marc Frappier
Categories: Computers
Type: BOOK - Published: 2010-02-20 - Publisher: Springer

GET EBOOK

This book constitutes the proceedings of the Second International Conference on Abstract State Machines, B and Z, which took place in Orford, QC, Canada, in Feb