At a Glance
| Applications | Model Checker |
| Interfaces | CLI |
| Licenses | CRAPL |
| Maintenance | Not Maintained |
Description
Not Maintained Since 2018
Implementation of Property Directed Reachability for linear integer arithmetic
| Applications | Model Checker |
| Interfaces | CLI |
| Licenses | CRAPL |
| Maintenance | Not Maintained |
Implementation of Property Directed Reachability for linear integer arithmetic