Simple, transparent pricing.
Start free. Scale as you verify. All plans include a 30-day trial at the next tier.
FREE
Explore formal verification
$0 forever
Start for Free - ✓ Axiom verification engine
- ✓ 500 credits / month
- ✓ Ki-DPOR depth limit: 500
- ✓ ARD forensic dump
- ✓ Community support
- ✓ Data consent opt-in: +50 bonus credits
PLUS
More depth, more confidence
$29 per month
Join Waitlist - ✓ Everything in FREE
- ✓ 5,000 credits / month
- ✓ Ki-DPOR depth limit: 2,000
- ✓ Priority email support
- ✓ Usage dashboard
- ✓ Credit expiry: 12 months
Most Popular
PRO
Full TRINITY minus observability
$99 per month
Join Waitlist - ✓ Everything in PLUS
- ✓ Axiom + Kraken engines
- ✓ 20,000 credits / month - shared pool
- ✓ Deterministic chaos load scenarios
- ✓ Ki-DPOR depth limit: 10,000
- ✓ Slack / Discord support
- ✓ Early access to new features
ENTERPRISE & TRINITY
BYOC, Phantom Monopoly 슬롯, Vanguard 실시간 방어, 전용 지원. 팀 규모와 요구사항에 맞춰 협의합니다.
Common questions
- What is a credit?
- Credits represent compute time consumed by Ki-DPOR exploration. 1 credit ≈ 1 vCPU-minute of verification. Priced at $0.10–0.15 per vCPU-minute.
- Can I switch plans?
- Yes, upgrade or downgrade at any time. Unused credits carry over for 30 days after downgrade.
- Is BYOC available on PRO?
- BYOC (Bring Your Own Code - external library auditing) is available on ENTERPRISE and above. PRO includes first-party BYOC macros only.