Library for validated numerics using interval arithmetic
Computing reachable states of dynamical systems in Julia