Formal Refinement for Operating System Kernels

Main
Computers - Computer Science
Formal Refinement for Operating System...

Formal Refinement for Operating System Kernels

Name: Formal Refinement for Operating System Kernels
ISBN: 9781846289668

Iain D. Craig

0 / 0

0 comments

Πόσο σας άρεσε αυτό το βιβλίο;

Ποια είναι η ποιότητα του ληφθέντος αρχείου;

Κατεβάστε το βιβλίο για να αξιολογήσετε την ποιότητά του

Ποια είναι η ποιότητα των ληφθέντων αρχείων;

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.

Κατηγορίες:

Computers - Computer Science

Έτος:

2007

Εκδότης:

Springer

Γλώσσα:

english

Σελίδες:

343

ISBN 10:

1846289661