At a Glance
| Applications | Model Checker |
| Interfaces | CLI |
| Licenses | MIT |
| Maintenance | Actively Maintained |
Description
Reach is a symbolic finite state reachability checker. One could also say that Reach is a safety model checker.
| Applications | Model Checker |
| Interfaces | CLI |
| Licenses | MIT |
| Maintenance | Actively Maintained |
Reach is a symbolic finite state reachability checker. One could also say that Reach is a safety model checker.