HSolver

HSolver is a program for verification of (non-linear) hybrid systems based on the constraint solver RSolver. Unlike somether other packages its correctness does not depend on floating point rounding errors.

Downloads:

Download site : http://hsolver.sourceforge.net

The download site also provides documentation of the package.

Date added : November 11, 2005

Developers:

Stefan Ratschan Max-Planck-Institut für Informatik, Saarbrücken, Germany

Zhikun She Max-Planck-Institut für Informatik, Saarbrücken, Germany