Formal Refinement for Operating System Kernels
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 pr...
Κύριος συγγραφέας: | Craig, Iain D. (Συγγραφέας) |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
London :
Springer London,
2007.
|
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Formal Models of Operating System Kernels
ανά: Craig, Iain D.
Έκδοση: (2007) -
Formal Models of Operating System Kernels
ανά: Craig, Iain D.
Έκδοση: (2007) -
Refinement Techniques in Software Engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures /
Έκδοση: (2006) -
Abstraction, Refinement and Proof for Probabilistic Systems
ανά: McIver, Annabelle, κ.ά.
Έκδοση: (2005) -
UNIX Operating System The Development Tutorial via UNIX Kernel Services /
ανά: Liu, Yukun, κ.ά.
Έκδοση: (2011)