At a Glance
| Applications | Parameter Synthesizer |
| Developers | RWTH Aachen |
| Licenses | GPLv3 |
| Maintenance | Not Maintained |
Description
Not Maintained Since 2019
Prophesy is a tool set for parameter synthesis of parametric Markov models.