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.
Download site : http://hsolver.sourceforge.net
The download site also provides documentation of the package.
Date added : November 11, 2005
Stefan Ratschan Max-Planck-Institut für Informatik, Saarbrücken, Germany
Zhikun She Max-Planck-Institut für Informatik, Saarbrücken, Germany