Tla Plus Foundation Plans Pricing
Machine-readable plans and pricing scaffold for this API provider. Conforms to the API Commons Plans schema. Tier limits and prices are scaffold defaults; replace with provider-published values.
Tla Plus Foundation Plans Pricing is the machine-readable pricing-plan profile for TLA Plus Foundation on the APIs.io network, conforming to the API Commons Plans specification.
It defines 3 plans, covering freemium, paid, and enterprise tiers, with named plans including Free, Professional, Enterprise.
Tagged areas include Formal Methods, Linux Foundation, Specifications, Verification, and Distributed Systems.
Plans
Free entry tier for the TLA Plus Foundation API surface. Intended for evaluation, prototyping, and low-volume integrations. Real limits and pricing must be reconciled with the provider's published plan documentation.
- Public Documentation
- Community Support
- Sandbox Access
- TLC Model Checker
- TLAPS Proof System
- TLA+ Toolbox IDE
- TLA+ VS Code Extension
- TLA+ Community Modules
- TLA+ Specification Examples
Production tier for TLA Plus Foundation. Provides higher quotas, priority support, and access to the broader API portfolio. Pricing placeholder; align with the provider's pricing page.
- All Production Endpoints
- Email Support
- SLA Targets
- Webhook Subscriptions
- TLC Model Checker
- TLAPS Proof System
- TLA+ Toolbox IDE
- TLA+ VS Code Extension
- TLA+ Community Modules
- TLA+ Specification Examples
Custom-negotiated tier for TLA Plus Foundation. Includes dedicated capacity, contractual SLAs, security review, data residency options, and named technical account management.
- Unlimited / Negotiated Volume
- 24/7 Dedicated Support
- Contractual SLA
- Security & Compliance Review
- Dedicated Account Manager
- Custom Data Residency
- TLC Model Checker
- TLAPS Proof System
- TLA+ Toolbox IDE
- TLA+ VS Code Extension
- TLA+ Community Modules
- TLA+ Specification Examples