root@pierrezemb.fr:~/blog$ ./read --quorum tags/model-checking
✓ quorum 2/3 · 1 document · committed
ls ./tags/model-checking
2025-12-19
Specs Are Back, But We're Missing the ToolsLLMs revived specifications. Model checkers like Fizzbee work for algorithms. But for APIs and business logic? The tooling doesn't exist yet.
#software-engineering #llm #specifications #formal-methods #model-checking #fizzbee
revision history © 2026 Pierre Zemb · last rev. 2026-06-09
contact
githubtwitterblueskyrss