Skip to content
SPECIFICTION
Get listed

PRISM pricing

1 plan read from prismmodelchecker.org

Visit prismmodelchecker.org
PRISMFree Free and open source · GNU General Public License, version 2 Read 7 Oct 2026 · prismmodelchecker.org

In short

  • PRISM has a free plan (PRISM).

What the alternatives costAll alternatives →

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