Antropic uses Clode to formally verify 123 open-source libraries

Antropic used Clode to formally verify the security properties of 123 open-source libraries, a first for software used in actual operating environments.

The libraries were tested at the assembly code level using a large-scale formal verification process.

The process involved converting test cases into mathematical statements, which were then used to prove that the code met pre-defined rules.