Formal Methods Tools

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.