At a Glance
| Applications | Model Checker |
| Licenses | MIT |
| Maintenance | Not Maintained |
Description
Not Maintained Since 2020
MUNTA is a model checker for the popular realtime systems modeling formalism of Timed Automata
| Applications | Model Checker |
| Licenses | MIT |
| Maintenance | Not Maintained |