Simon Willison • 12/9/2025

Prediction: AI will make formal verification go mainstream

Read Original

The article argues that AI, particularly large language models (LLMs), will drive the adoption of formal verification languages (e.g., Dafny, Nagini, Verus) in mainstream programming. It cites research showing LLMs like Claude 3.5 Sonnet can effectively assist with verification, making these tools more practical for verifying code, especially code generated by AI.

0 comments
#software development #programming languages #formal verification
Prediction: AI will make formal verification go mainstream

Comments

No comments yet

Be the first to share your thoughts!

Browser Extension

Get instant access to AllDevBlogs from your browser

Top of the Week

1
React vs Browser APIs (Mental Model)
Jivbcoop • 4 votes
2
React, useEffect, and Stale Closures: How to Avoid Them with Dependencies and useRef
Jivbcoop • 3 votes
3
Better react-hook-form Smart Form Components
Maarten Hus • 2 votes
4
Building Type-Safe Compound Components
TkDodo Dominik Dorfmeister • 2 votes
5
Dew Drop – January 15, 2026 (#4583)
Alvin Ashcraft • 1 votes
6
Using Browser Apis In React Practical Guide
Jivbcoop • 1 votes
7
Building a Complete FIRE Calculator App with GitHub Copilot in One Chat Session
James Montemagno • 1 votes