At a Glance
| Applications | Model Checker |
| Interfaces | CLI |
| Maintenance | Not Maintained |
Description
Not Maintained Since 2016
Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.
| Applications | Model Checker |
| Interfaces | CLI |
| Maintenance | Not Maintained |
Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.