Galois - Specifications Don't Exist
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.
Galois - Specifications Don't Exist Tools News & Insights About Us Get Started GET IN TOUCH We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day. Email contact@galois.com PHONE 503.626.6616 Specifications Don't Exist Mike Dodds June 16, 2025 This article is a companion piece to What Works (and Doesn't) Selling Formal Methods . It began life as part of a talk I gave in late 2024 . Some things
related reading
- Human Judgment as a Specificationblog.brownplt.org
- A shallow dive into formal verificationvitalik.eth.limo
- The Case Against Formal Verification, 50 Years Laterivan-gavran.github.io
- Formally Verifying the Easy Partbrainflow.substack.com
- Jane Street Blog - Formal methods and the future of programmingblog.janestreet.com
- Would you fly on an AI-coded plane | Hackle's bloghacklewayne.com
- When AI Writes the World's Software, Who Verifies It? — Leonardo de Mouraleodemoura.github.io
- Intent Formalization: A Grand Challenge for Reliable Coding in the Age of AI Agentsalphaxiv.org
- Constructive Specifications: A Short Storysubstack.com
- Formal methods and the future of programmingblog.janestreet.com
- Quint: executable specifications for reliable systemsquint.sh
- Reading 4: Specificationsweb.mit.edu