ls ./tags/formal-methods
2025-12-19~6 min
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.
revision history © 2026 Pierre Zemb · last rev. 2026-08-14
contact
githubtwitterblueskylinkedinmastodonrss