Formal software verification with AI: frontier AI produced SPARK…
www.adacore.com
See how AI wrote and proved SPARK Platinum code for AES, SHA-256 and HMAC from the NSA’s Cryptol specs, with no human guidance.