Formal verification

7 posts · 5 sources

Mistral AIBlog2 Jul

Leanstral 1.5: Proof Abundance for All

Mistral AIBlog16 Mar

Leanstral: Open-Source foundation for trustworthy vibe-coding

MongoDBBlog2 Jun

Conformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs

CloudflareBlog8 Nov

How we prevent conflicts in authoritative DNS configuration using formal verification

CloudflareBlog24 Feb

Using EasyCrypt and Jasmin for post-quantum verification

Jane StreetBlog15 Feb

Proofs (and Refutations) using Z3

Two SigmaBlog22 Jul

Scaling Up DPLL(T) String Solvers Using Context-Dependent Simplification