Formal refinement for operating systems kernels.

MaRDI QIDQ5754574zbMATH OpenFDO

Authors Iain D. Craig

Publication date 23 August 2007

zbMATH Keywords

messageoperating system kernelpriority queueprocess queueprocess tablerefinementschedulersemaphoreseparation kernelstorageuser interfaceZ schema

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of operating systems (68N25)

Recommendations

• Formal models of operating system kernels
• scientific article; zbMATH DE number 1303994
• scientific article; zbMATH DE number 3854401
• scientific article; zbMATH DE number 1615985
• Theorem Proving in Higher Order Logics

Cited in

(6)

• Creating high confidence in a separation kernel
• scientific article; zbMATH DE number 3854401 (Why is no real title available?)
• Formal models of operating system kernels
• scientific article; zbMATH DE number 1277258 (Why is no real title available?)
• scientific article; zbMATH DE number 1751915 (Why is no real title available?)
• Using formal reasoning on a model of tasks for FreeRTOS

This page was built for publication: Formal refinement for operating systems kernels.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5754574)