Back to article

SeL4 is a formally verified operating system (opens in new tab) 5 articles covering this post

sel4.systems··Hacker News, Hacker News, Hacker News·Open original

Covered in 5 articles

Formal methods and the future of programming

blog.janestreet.com··Lobsters, Hacker News

coherentforge/CambiOS: Zero-trust, capability-based Rust microkernel targeting formal verification. Tri-arch (x86_64 / AArch64 / RISC-V). Sovereign and generative: no telemetry, user owns keys and data. Early-stage — see STATUS.md. Inspired by seL4, Hubris, and Redox.

github.com··Hacker News

seL4/seL4: The seL4 microkernel

EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation

amazon.science··Lobsters

In other languages

Won’t fix! – Teil 2: Warum sich Bugs nicht systematisch eliminieren lassen