ProbReach v1.0.1

Usage:
./ProbReach <options> <model-file.pdrh> <dReach-options>

options:
        -e <double> - length of probability interval or maximum length of the box (default 0.001)
        -d <double> - precision used to call dReach (default 0.001)
        -l <string> - full path to dReach binary (default dReach)
        -t <int> - number of CPU cores (default 1)
        -k <int> - reachability depth (default 0)
        -h/--help - help message
        --version - version of the tool
        --verbose - output computation details

This version of ProbReach computes exact -k step probabilistic reachability. When using a dReach version that supports up to -k steps reachability (with-l and -u flags) -l must be specified and equal to -k.