At a Glance
| Applications | Model Checker |
| Interfaces | CLI |
| Licenses | GPL-3.0 |
| Maintenance | Not Maintained |
Description
Not Maintained Since 2016
A reference implementation of property directed reachability for boolean transition systems.