Ironclad 0.7.0 – formally verified Unix-like kernel in SPARK and Ada | Heykuki News