Integration of a differential equation solver into a systems verification tool

Differential equations can be used to model the behavior of the environment (e.g., robot, car) of embedded systems. Hence, for analyzing such systems, it is important to use powerful solvers for differential equations. The thesis will consist of integrating such a solver into a verification tool.