AI won't make formal verification mainstream, but it will increase its use — from maybe 0.1% to 0.3% of the industry, which would still be huge.

Hillel predicts AI will not bring formal verification into the mainstream, but even a small relative increase — from 0.1% to 0.3% — would be significant. He also notes that people who successfully use AI to generate formal specs are typically formal verification experts already. ✦ AI generated

Hillel Wayne · The Pragmatic Engineer · 2026-07-29 · original ↗

AI won't make formal verification mainstream, but will increase its use. As Hillel says, 'AI bringing formal verification up from maybe 0.1% to 0.3% across the industry would still be huge!' He also finds that people who succeed at using AI to generate formal specs are often formal verification experts.

Read full article ↗excerpt · fair-use quotation