Skip to content
SPECIFICTION
Get listed

UPPAAL pricing

2 plans read from uppaal.org

Academic licenseFree Free for eligible non-commercial academic useResearchers or students at degree-granting academic institutions · Work and worker must not be contracted by a non-academic institution Read 3 Oct 2026 · uppaal.org
Commercial licensePriced on request Contact VeriAal for commercial licensing and supportRequired for company use, private use, national research agency use, and other non-academic use Read 3 Oct 2026 · uppaal.org

In short

  • UPPAAL has a free plan (Academic license).
  • 1 plan is priced on request (Commercial license).

What the alternatives costAll alternatives →

ToolFromFree planFree trial
cvc5—YesNo
Lean—YesNo
Rocq—YesNo
PVS—YesNo
Agda—NoNo
Alloy Analyzer—YesNo
Boogie—YesNo
CBMC—YesNo