certified-operating-systems

Here is 1 public repository matching this topic...

georgiabasa / project_security

This repository contains the mCertiKOS certified operating system kernel, focusing on security and formal verification using Coq and CompCert. It supports building and testing on bare-metal or QEMU environments.

ocaml coq virtualization qemu compcert formal-verification kernel-security mcertikos certified-operating-systems operating-system-kernel-development

Updated Jan 3, 2025
Coq

Improve this page

Add a description, image, and links to the certified-operating-systems topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the certified-operating-systems topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

certified-operating-systems

Here is 1 public repository matching this topic...

georgiabasa / project_security

Improve this page

Add this topic to your repo