At a Glance
| Applications | Runtime Verifier |
| Interfaces | CLI |
| Licenses | MIT |
| Maintenance | Actively Maintained |
Description
Toolchain to automatically generate and verify HW or SW runtime enforcers from text-based framework
| Applications | Runtime Verifier |
| Interfaces | CLI |
| Licenses | MIT |
| Maintenance | Actively Maintained |
Toolchain to automatically generate and verify HW or SW runtime enforcers from text-based framework