Parameter Synthesizer
| Tool | Description |
|---|---|
| Prophesy | [ Not Maintained Since 2019 ] Prophesy is a tool set for parameter synthesis of parametric Markov … |
| IMITATOR | IMITATOR is a parametric timed model checker taking as input extensions of parametric timed … |