Formal-Methods
- Formal Specs in the LLM Era: The Validation Layer AI-Generated Code Is Missing
LLMs are good at generating code. They are bad at knowing whether it's correct. Informal Systems used an executable specification language called Quint to add a mechanically verifiable validation layer -- and collapsed a months-long refactor into a week.