Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Formal Refinement for Operating System Kernels

Name: Formal Refinement for Operating System Kernels
Brand: Springer London Ltd
SKU: 01434599
Price: 102.38 EUR
Availability: InStock
Author: Iain D. Craig
ISBN: 9781849966894

Iain D. Craig

Language

English

Book Paperback

Libristo code: 01434599

Publishers Springer London Ltd, October 2010

The kernel of any operating system is its most critical component, as the rest of the system depends... Full description

Libristo code: 01434599

249 b

102.38 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Geschaftsfelder von Modeblogs und Beziehungen zu Unternehmen. Eine kritische Betrachtung Rosa Herbst

Paperback

16.09 €

Odgajanje dobrih ljudi Hunter Clarke Fieldes

Paperback

14.17 €

Descartes directeur spirituel: Correspondance avec la princesse palatine et la reine Christine de Su?de René Descartes

Paperback

23.93 €

Makramee knüpfen - Die wunderbare Kreativbox Josephine Kirsch

Toy

19.50 €

La Atlántida y la tradición oculta Ríos

Paperback

24.23 €

Фауст. Страдания юного Вертера Иоганн Гете

Hardback

32.88 €

Bitty Bao Boba Emotions: A Bilingual Book in English and Cantonese with Traditional Characters and Jyutping Lulu Cheng

Board book

10.85 €

DISNEY: UN SIGLO DE MAGIA LINARES

Paperback

25.74 €

Auf Augenhöhe Sebastian Harnisch

Hardback

42.03 €

Mirar John Berger

Adobe ePub DRM

9.85 €

Messie House Index (MHI) Andreas Schmidt

Paperback

42.53 €

Methoden und Massnahmen zur flexiblen Abwicklung von Produktprojekten Markus Loderbauer

Paperback

16.08 €

Banca del pruno Giorgio Fusco

Paperback

14.77 €

Infektionskrankheiten in Gynakologie Und Geburtshilfe Klaus Friese

Paperback

152.66 €

Otra Dimension... !Otra Galaxia! Alicia Morilla Massieu

Hardback

48.37 €

Música, pensamiento y educación Lucy Green

Paperback

21.92 €

La semilla de la ira : máscaras de Vargas Vila Triviño Anzola

Paperback

22.92 €

O corazón de Xúpiter Ledicia Costas Álvarez

Paperback

15.48 €

Himmelschlüssel Kristina Ohlsson

Paperback

10.85 €

FRE-NOUVEAU RECUEIL DE TRAITES Georg Friedrich Von 1756-1821 Martens

Paperback

24.94 €

Behavioral Aspects of Financial Decision Making Emanuela Trifan

Paperback

102.48 €

Alimentacao por energial solar e universal Francisco Cunha Leao

Adobe ePub DRM

5.42 €

Květinové pohádky Ernst Kreidolf

Hardback

9.95 €

Je twitte donc je suis Guillaume Debré

Paperback

36.50 €

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.The kernel of any operating system is its most critical component. The remainder of the system depends upon a correctly functioning and reliable kernel for its operation.§The purpose of this book is to show that the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of executable code. The formal refinement process ensures that the code meets the specification in a precise sense. §Two kernels are specified and refined. The first is small and of the kind often used in embedded and real-time systems. It closely resembles the one modelled in our Formal Models of Operating System Kernels. The second is a Separation Kernel, a microkernel architecture devised for cryptographic and other secure applications. Both kernels are refined to the point at which executable code can be extracted. Apart from documenting the process, including proofs, this book also shows how refinement of a realistically sized specification can be undertaken. §Iain Craig is a Chartered Fellow of the BCS and has a PhD in Computer Science.