⇩ Markdown

blog post - AI will make formal verification go mainstream

https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html

Martin Kleppmann

AI will make formal verification go mainstream
...
seems related to automatic bug finding and deterministic simulation