Formal refinement for operating systems kernels.

zbMATH Open1139.68018MaRDI QIDQ5754574FDOQ5754574

Authors: Iain D. Craig 

Publication date: 23 August 2007

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

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)

Cited In (5)

• Using formal reasoning on a model of tasks for FreeRTOS
• Formal models of operating system kernels
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)