ProbReach v1.1

Usage:

./ProbReach <options> <model-file.pdrh> --dreach <dReach-options> --dreal <dReal-options>

options:
        -e <double> - length of probability interval or maximum length of the box (default 0.001)
        -l <string> - full path to dReach binary (default dReach)
        -t <int> - number of CPU cores (default max cores available)
        -h/--help - help message
        --version - version of the tool
        --verbose - output computation details
        --visualize <string> - produces <model-file.json> containing Borel set for parameter <string> and probability value with respect to time
        --dreach - delimits dReach options (e.g. reachability depth)
        --dreal - delimits dReal options (e.g. precision, ode step)

Archives <*-full.zip> contain complete set of binaries and models