Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Ironclad: A formally verified, hard real-time capable kernel in Ada
ironclad.nongnu.org
31 points
azoriousrange
2 years ago
4 comments
Loading...
Ironclad: A formally verified, hard real-time capable kernel in Ada | Heykuki News