At a Glance
| Applications | Probabilistic Model Checker |
| Developers | Saarland University |
| Inputs | PRISM |
| Interfaces | CLI |
| Licenses | All Rights Reserved |
| Maintenance | Not Maintained |
Description
Not Maintained Since 2011
ProHVer is a tool to handle systems which feature both discrete and continuous behaviour, and also involves randomness. ProHVer is capable of computing the unbounded reachability probability for a very general class of probabilistic hybrid automata. This homepage presents the tool, as well as some case studies on which it was applied.