HSOLVER

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.
User Community:
Send a mail to email 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 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.
Documentation:
HTML
Gzipped Postscript
PDF
Frequently Asked Questions (FAQ)
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!
Copying:

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.

Acknowledgements:
This software packages was supported by GACR grant 201/08/J020 and by the institutional research plan AV0Z100300504 of the Czech republic.