Specula: Generating TLA+ Specifications from System Code Using Generative AI
Date:
Talk at TLA+ Community Meeting, Online
This talk introduces Specula and its approach to using generative AI to derive TLA+ specifications from real system code.
Date:
Talk at TLA+ Community Meeting, Online
This talk introduces Specula and its approach to using generative AI to derive TLA+ specifications from real system code.