At a Glance
| Applications | Model Checker |
| Maintenance | Not Maintained |
Description
Not Maintained Since 2019
TimeSolver is a Model Checker for timed automata that uses pes (predicate equation systems).
| Applications | Model Checker |
| Maintenance | Not Maintained |