Skip to content

NuSMV pricing

1 plan read from nusmv.fbk.eu

Visit nusmv.fbk.eu

NuSMV v2Free Open source · LGPL v2.1 Read 7 Oct 2026 · nusmv.fbk.eu

In short

NuSMV has a free plan (NuSMV v2).

What the alternatives costAll alternatives →

Tool	From	Free plan	Free trial
cvc5	—	Yes	No
Lean	—	Yes	No
Rocq	—	Yes	No
PVS	—	Yes	No
Alloy Analyzer	—	Yes	No
Agda	—	No	No
Boogie	—	Yes	No
CBMC	—	Yes	No