dReal

Automated Reasoning in Nonlinear Theories of Reals

Probabilistic reachability and parameter set synthesis for stochastic hybrid systems

There is a new version of dReal, available at https://github.com/dreal/dreal4

homebrew tap for dReal

www

Show how to use dReal as an external library in CMake

Show how to use dReal as an external library using bazel

SReach is a Bounded Model Checker for hybrid systems with parametric uncertainty, and probabilistic hybrid automata with addtional randomness. It combines dreal/dreach and statistical analyzing methods.

CAV'19: Artifact Evaluation https://dreal.github.io/CAV19

Benchmarks