specula-org / Specula
Specula: An agentic tool for finding deep bugs in system code using TLA+
- Repository stars
- 632All-time #53,412
- Fork
- 70
- Last push
- updated today
- Repository created
- since 2025
About
Specula: An agentic tool for finding deep bugs in system code using TLA+Summarised by AI from the README; the original prevails
Author description: Specula: An agentic tool for finding deep bugs in system code using TLA+
Basic listing based on official public information; functionality has not been independently evaluated.
- Pricing
- Pricing not verifiedCheck current official software, hosting, model and infrastructure pricing.