HSolver
Subproject |
H1/2 |
Categories |
Model checker / solver for hybrid systems |
Overview |
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. |
S. Ratschan and Z. She. Safety verification of hybrid systems by constraint propagation based abstraction refinement. ACM Transactions on Embedded Computing Systems, 6(1), 2007. |
|
Benchmarks |
|
Download |
|
Manual |
|
Status |
Stable |