"GNATProve" #formal-methods #documentation #toread
on 02025-11-11“Ironclad is a formally verified, real-time capable, UNIX-like operating system kernel for general-purpose and embedded uses. It is written in SPARK and Ada, and is comprised of 100% free software.” GPLv3! #formal-methods include #GNATProve. #operating-systems
on 02025-11-11