Formal Models of Operating System Kernels

Más información sobre el libro

Focusing on a novel approach to operating systems and kernel design, this book emerges from the author's long-held ambition dating back to 1979. After initial sketches in 2001 and further development in 2005, the author created a foundational kernel presented in Chapter 3. The work emphasizes the need for clarity and a solid foundation in operating system design, while also acknowledging the importance of security in kernel reliability. The book aims to provide insights and proofs to support its innovative perspective on the subject.