This thesis is centered on Formal Methods for dynamical systems. In particular, we focus on
continuous dynamical systems specified by systems of ordinary differential equations …