https://sparsenotes.com/tags/tla-plus/ Recent content in tla-plus on Sparse Notes https://sparsenotes.com/images/og-default.png https://sparsenotes.com/images/og-default.png Hugo -- gohugo.io Sat, 01 Aug 2026 00:00:00 +0000 https://sparsenotes.com/posts/2026/08/papers/specula-agentic-tla-model-checking/ Sat, 01 Aug 2026 00:00:00 +0000 https://sparsenotes.com/posts/2026/08/papers/specula-agentic-tla-model-checking/ A push-button agentic system that writes its own TLA+ specs, checks them against real code traces, and found 249 bugs across 48 open-source systems.