HSOLVER

HSolver is a program for verification of hybrid systems based on the
constraint solver RSOLVER. Unlike other packages its
correctness does not depend on floating point rounding errors. It can handle
non-linear ordinary differential equations, but is not optimized for simpler
continuous dynamics.

User Community:

Send a mail to if you want to be
on the mailing list for announcements of new versions of the
software.

Support:

The quality of this package depends heavily on your
feedback. So if you found a bug, have an example where HSOLVER works particularily bad/well,
or if you have any other questions, please send a
mail to . We also intend to adapt the package to specific problem
classes. Please contact us if you have interest in a certain class of problems.