Pricing
PRISM pricing
As prismmodelchecker.org lists them, read 7 Oct 2026. The maker's own page has the final word.
| Plan | Billed and limits | Price |
|---|---|---|
| PRISM | Free and open source · GNU General Public License, version 2 | Free |
From prismmodelchecker.org.
Pricing
As prismmodelchecker.org lists them, read 7 Oct 2026. The maker's own page has the final word.
| Plan | Billed and limits | Price |
|---|---|---|
| PRISM | Free and open source · GNU General Public License, version 2 | Free |
From prismmodelchecker.org.