Ironclad – formally verified, real-time capable, Unix-like OS kernel(ironclad-os.org)
358 points by vitalnodo | 121 comments
Homepage of Ironclad, a formally verified, real-time capable, Unix-like OS kernel written in SPARK and Ada with POSIX compatibility and MAC.