Ironclad – formally verified, real-time capable, Unix-like OS kernel
User manual Formal verification Supported hardware Changelog Trademark and logo use Code licensing Read more on Hacker News
formally