/probreach

Probabilistic reachability and parameter set synthesis for stochastic hybrid systems

Primary LanguageC++GNU General Public License v3.0GPL-3.0

ProbReach - software for calculating bounded probabilistic reachability and performing parameter set synthesis in hybrid systems with uncertainty in initial parameters. ProbReach supports formal verification (computing rigorous enclosures) and statistical model checking (Chernoff-Hoeffding bound and Bayesian estimations).

  • The parameter set synthesis is not currently supported.

  • NOW ON DOCKER!!!

docker pull dreal/probreach

Install

Latest version of static binary for Linux and Mac can be downloaded from ProbReach releases page

How to Build

How to Use