Back to article
sel4.systems

SeL4 is a formally verified operating system (opens in new tab)

Covered by 5 sources See all sources covering this story including Jane Street Tech Blog, GitHubDiscussed on Hacker News, Hacker News, and Hacker News

Covered in 7 articles

Jane Street Tech Blog·

Formal Methods and the Future of Programming

Discussed on Hacker News
Feeds
Jane Street Tech Blog·

Formal methods and the future of programming

Discussed on Hacker News, Hacker News, and Lobsters
Feeds
GitHub·

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.

Discussed on Hacker News
Feeds
GitHub·

seL4/seL4: The seL4 microkernel

Feeds
amazon.science·

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

Discussed on Lobsters
Feeds

In other languages

heise online·

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

Feeds
GeekNews·

형식 기법과 프로그래밍의 미래

Feeds

Keyboard Shortcuts

Navigation

Next / previous post
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Discover
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help