Ironclad – formally verified, real-time capable, Unix-like OS kernel

news.ycombinator.com

saved by: 0 people
related read on: Ironclad – formally verified, real-time capable, Unix-lik... discussion