At a Glance
| Applications | Model Checker |
| Developers | Ludwig-Maximilians-Universität München |
| Licenses | Apache-2.0 |
| Maintenance | Actively Maintained |
Description
Closed-Source Tool
CPAchecker is a tool for configurable software verification.