Stefan Ratschan
with Zhikun She, Tomáš Dzetkulič

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 email if you want to be on the mailing list for announcements of new versions of the software.
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 email. We also intend to adapt the package to specific problem classes. Please contact us if you have interest in a certain class of problems.
User Community:
Mailing list for receiving announcements of new versions
Main Paper Describing Method
Stefan Ratschan and Zhikun She
Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
ACM Transactions in Embedded Computing Systems, Volume 6, Number 1, 2007
DOI Postscript BIB-entry
Other Related Papers
Benchmark Database
Download Linux Binaries
New! Graphical visualization of analyzed state space!

This software is available under the GNU General Public License. We ask you properly cite it in resulting applications and publications.

I would appreciate if you would notify me (email) of your use of HSOLVER, inform me about bugs, and send me resulting publications.

This software package was supported by GAČR grant P202/12/J060, and MŠMT grant OC10048.