Formal Refinement for Operating System Kernels
| Autor: | Iain D. Craig |
|---|---|
| EAN: | 9781846289675 |
| eBook Format: | |
| Sprache: | Englisch |
| Produktart: | eBook |
| Veröffentlichungsdatum: | 18.07.2007 |
| Kategorie: | |
| Schlagworte: | Kernels Refinement Separation Kernel kernel operating system security user interface |
139,09 €*
Versandkostenfrei
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
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.
Verwandte Artikel
Weitere Produkte vom selben Autor