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
Explore this link on the map →related reading
- Human Judgment as a Specificationblog.brownplt.org
- A shallow dive into formal verificationvitalik.eth.limo
- Jane Street Blog - Formal methods and the future of programmingblog.janestreet.com
- When AI Writes the World's Software, Who Verifies It? — Leonardo de Mouraleodemoura.github.io
- Would you fly on an AI-coded plane | Hackle's bloghacklewayne.com
- Reading 4: Specificationsweb.mit.edu
- Computers can be understood - Made of Bugsblog.nelhage.com
- Prediction: AI will make formal verification go mainstream - Martin Kleppmann's blogmartin.kleppmann.com
- Asymmetry of verification and verifier’s rule - Jason Weijasonwei.net
- Automatic Formal Verification for Code Generationlogicalintelligence.com
- Reading 7: Designing Specificationsweb.mit.edu
- Dear Agent: Prove it. • Rijnard van Tonderrijnard.com