Formal refinement for operating systems kernels.

MaRDI QIDQ5754574zbMATH OpenFDO

Authors Iain D. Craig

Publication date 23 August 2007

zbMATH Keywords

refinementuser interfacestoragepriority queuesemaphoreschedulermessageseparation kerneloperating system kernelprocess queueprocess tableZ 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

(5)

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

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)