Pricing
CPAchecker pricing
As cpachecker.sosy-lab.org lists them, read 8 Oct 2026. The maker's own page has the final word.
| Plan | Billed and limits | Price |
|---|---|---|
| CPAchecker | Free software under the Apache 2.0 License · latest binary release 4.2.2 | Free |
From cpachecker.sosy-lab.org.