Formal Refinement for Operating System Kernels

Released on by Iain D. Craig
preview-18

  • Formal Refinement for Operating System Kernels Book Detail

  • Author : Iain D. Craig
  • Release Date : 2007-07-18
  • Publisher : Springer Science & Business Media
  • Genre : Computers
  • Pages : 343
  • ISBN 13 : 184628967X
  • File Size : 2,2 MB
DOWNLOAD BOOK

Formal Refinement for Operating System Kernels by Iain D. Craig PDF Summary

Book Description: 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.

Disclaimer: www.yourbookbest.com does not own Formal Refinement for Operating System Kernels books pdf, neither created or scanned. We just provide the link that is already available on the internet, public domain and in Google Drive. If any way it violates the law or has any issues, then kindly mail us via contact us page to request the removal of the link.

Formal Models of Operating System Kernels

Formal Models of Operating System Kernels

File Size : 63,63 MB
Total View : 1890 Views
DOWNLOAD

Operating systems kernels are central to the functioning of computers. Security of the overall system, as well as its reliability and responsiveness, depend upo