Machine Heart

Aug 26, 2026 · Artificial Intelligence

Specula Finds 382 Deep Bugs in 67 Projects, Reducing Formal Verification to Hours

Specula, an AI‑driven tool, automatically reads code, documentation, tests and history to generate TLA+ models, runs model checking, and reproduces counterexamples as tests, uncovering 382 deep concurrency bugs across 67 open‑source systems and shrinking verification time from months to a few hours.