specula-org

Pinned Loading

1. Specula Specula Public

   Specula: An agentic tool for finding deep bugs in system code using TLA+

   Python 538 60

2. SysMoBench SysMoBench Public

   SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems

   Python 26 3

3. specula-case-studies specula-case-studies Public

   specula-case-studies

   TLA 8 1

4. TLAPS-Bench TLAPS-Bench Public

   Formally proving complex protocols and systems using TLA+ Proof System (TLAPS)

   TLA 37 4