Tag: Formal Verification
-
Claude Formal Verification: Anthropic Proved 123 Open-Source Libraries Can’t Crash
Anthropic says Claude wrote machine-checked proofs for 123 open-source libraries. Here’s what was proven, the bugs it caught, and the limits.