At a Glance
| Applications | Parameter Synthesizer |
| Developers | Universite Sorbonne Paris Nord |
| Licenses | GPLv3 |
| Maintenance | Actively Maintained |
Description
IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more.