Get the latest tech news

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

Ironclad is a free software formally verified kernel written in SPARK/Ada

None

Related news:

Red Dead Redemption 2 has sold more copies than any other game in the last 7 years, and is the fourth-biggest-selling of all time

Vodafone Germany is killing the open internet – one peering connection at a time

GTA 6 runs the risk of being totally outdated by the time it finally arrives - or does it?