At a Glance
| Applications | Model Checker |
| Interfaces | CLI |
| Licenses | GPL-3.0 |
| Maintenance | Actively Maintained |
Description
Reads a state transition system and performs property checking
| Applications | Model Checker |
| Interfaces | CLI |
| Licenses | GPL-3.0 |
| Maintenance | Actively Maintained |
Reads a state transition system and performs property checking