2007

Formal Refinement for Operating System Kernels

Authors:

ISBN: 978-1-84628-966-8 (Print) 978-1-84628-967-5 (Online)

Table of contents (6 chapters)

  1. Front Matter

    Pages i-xv

  2. No Access

    Book Chapter

    Pages 1-10

    Introduction

  3. No Access

    Book Chapter

    Pages 11-18

    The Simple Kernel's Organisation

  4. No Access

    Book Chapter

    Pages 19-202

    A Simple Kernel

  5. No Access

    Book Chapter

    Pages 203-209

    The Separation Kernel

  6. No Access

    Book Chapter

    Pages 211-316

    A Separation Kernel

  7. No Access

    Book Chapter

    Pages 317-322

    Closing Thoughts

  8. Back Matter

    Pages 323-332