#model-checking
ls ./tags/model-checking
2025-12-19~6 min
Specs Are Back, But We're Missing the Tools
LLMs revived specifications. Model checkers like Fizzbee work for algorithms. But for APIs and business logic? The tooling doesn't exist yet.