Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Formal Refinement for Operating System Kernels

Buy
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.

(HTML tags aren't allowed.)

Steps in Scala: An Introduction to Object-Functional Programming
Steps in Scala: An Introduction to Object-Functional Programming

Scala is a relatively new programming language that was designed by Martin Odersky and released in 2003. The distinguishing features of Scala include a seamless integration of functional programming features into an otherwise objectoriented language. Scala owes its name to its ability to scale, that is, it is a language that can grow by...

Ergonomics for Beginners: A Quick Reference Guide, Third Edition
Ergonomics for Beginners: A Quick Reference Guide, Third Edition
Revised Contents Addresses Rapid Developments

Loaded with information on the design of work systems, workplaces, and workstations as well as human anthropometics, Ergonomics for Beginners: A Quick Reference Guide, Third Edition provides a useful quick reference and valuable tool for novices and experienced...

Principles of Data Mining (Undergraduate Topics in Computer Science)
Principles of Data Mining (Undergraduate Topics in Computer Science)
Data Mining, the automatic extraction of implicit and potentially useful information from data, is increasingly used in commercial, scientific and other application areas.

This book explains and explores the principal techniques of Data Mining: for classification, generation of association rules and clustering. It is written for readers without...


Photoshop 7 Power Shortcuts
Photoshop 7 Power Shortcuts
Photoshop's complexity grows with its popularity: Knowing and using keyboard and quick-click shortcuts can make a huge difference in your productivity. This book documents all of the shortcuts officially included (but not found in one spot) in the Photoshop documentation and organizes them so they're easy to find. The book shows how each...
Great Feuds in Mathematics: Ten of the Liveliest Disputes Ever
Great Feuds in Mathematics: Ten of the Liveliest Disputes Ever

Mathematical disputes offer indisputable proof that great mathematical minds are calculating in more ways than one. Fueled by greed, jealousy, ambition, and ego, they have plots worthy of a soap opera, pitting brother against brother, father against son, and student against mentor.

In the sixteenth century, Cardano and Tartaglia battled...

Macs All-in-One Desk Reference For Dummies (Computer/Tech)
Macs All-in-One Desk Reference For Dummies (Computer/Tech)
Welcome to the wonderful world of the Mac! Whether you’ve just decided to switch from Windows or you’ve been using a Mac for awhile and want to take advantage of all its bells and whistles, Macs All-in-One Desk Reference For Dummies is the perfect guidebook to Mac land.

You probably already know that Macs were made for...

©2021 LearnIT (support@pdfchm.net) - Privacy Policy