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

22 points

by birdculture

1 days ago

1 comments