Tag

#formal-verification

AI learning

What is formal verification? How it differs from testing and fuzzing, and what a proof does not promise

A plain guide to formal verification: what a machine-checked proof contains, how it differs from tests and fuzzing, and the limits to check whenever software is called formally verified.

audiotale.net teamOct 23, 20267 min read

AI learning

Anthropic and Theorem: Claude proves 239 open-source entry points crash-free in Rocq

Anthropic says Claude wrote machine-checked proofs for 123 open-source libraries in a few weeks and found hundreds of bugs, a claim that formal verification can now scale; the authors list the limits.

audiotale.net teamOct 23, 20267 min read