- Removed dReach and bmc_main.native from the tool chain
- Added algorithm for probabilistic reachability in hybrid systems with nondeterministic parameters
- Added statistical model checking (Chernoff-Hoeffding bound, Bayesian estimations)
- Parameter synthesis is _not_ currently supported