Formal models of operating system kernels

MaRDI QIDQ3413115zbMATH OpenFDO

Authors Iain D. Craig

Publication date 3 January 2007

zbMATH Keywords

formal modelinterprocess communicationkernelmessageoperating systemschedulersemaphorsynchronisationvirtual storage

Mathematics Subject Classification ID

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

Recommendations

• Formal refinement for operating systems kernels.
• scientific article; zbMATH DE number 1751915
• scientific article; zbMATH DE number 3854401
• Theorem Proving in Higher Order Logics
• scientific article; zbMATH DE number 1277258

Cited in

(9)

• Kernel P systems: from modelling to verification and testing
• scientific article; zbMATH DE number 3845012 (Why is no real title available?)
• Implementing Language Support in High-Level Languages
• scientific article; zbMATH DE number 1277258 (Why is no real title available?)
• scientific article; zbMATH DE number 605246 (Why is no real title available?)
• scientific article; zbMATH DE number 1751915 (Why is no real title available?)
• Model Checking Kernel P Systems
• scientific article; zbMATH DE number 6665225 (Why is no real title available?)
• Formal refinement for operating systems kernels.

This page was built for publication: Formal models of operating system kernels

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