Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
Ironclad: A formally verified, hard real-time capable kernel in Ada
(ironclad.nongnu.org)
31 points
azoriousrange
2 years ago
4 comments
2.
▲
Ironclad: A formally verified Posix-compatible kernel written in Ada
(ironclad.nongnu.org)
5 points
ajdude
2 years ago
1 comment