Talks and presentations

Specula: Generating TLA+ Specifications from System Code Using Generative AI Permalink

November 12, 2025

Talk, TLA+ Community Meeting, Online

An introduction to Specula and its approach to generating TLA+ specifications from real system code using generative AI.