Skip to content

VeriFast pricing

1 plan read from github.com

Visit github.com

Free and open sourceFree MIT-licensed source code and binaries · research prototype Read 11 Oct 2026 · github.com

In short

VeriFast has a free plan (Free and open source).

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