Articles
Insights on formal verification, code assurance, and the work of building software you can actually prove correct.
Formal Methods
Why Formal Methods Matter: The Calendar Problem
A leap-year bug that hides at the century boundary: why testing samples the haystack and formal verification finds the needle.
David KovarJune 16, 20266 min read
Read articleFormal Methods
Trust but Verify: Using a Neurosymbolic Model in Code Optimization
We let an LLM optimize a well-known code library, then made it prove every change. Here is what survived, what got caught, and where high confidence stops being a proof.
June 16, 20269 min read
Formal MethodsWhat Is FMToolkit?
FMToolkit answers one question: do these two functions behave identically? What it does, what it does not, and where it fits.
June 16, 20265 min read
Formal MethodsWhat Is Formal Verification and Why Does AI-Generated Code Need It?
AI writes code faster than ever. Speed doesn't equal correctness. Here's how formal verification closes that gap.
June 6, 20267 min read