Pricing
VeriFast pricing
As github.com lists them, read 11 Oct 2026. The maker's own page has the final word.
| Plan | Billed and limits | Price |
|---|---|---|
| Free and open source | MIT-licensed source code and binaries · research prototype | Free |
From github.com.
Pricing
As github.com lists them, read 11 Oct 2026. The maker's own page has the final word.
| Plan | Billed and limits | Price |
|---|---|---|
| Free and open source | MIT-licensed source code and binaries · research prototype | Free |
From github.com.