Number of the records: 1
System HSOLVER
- 1.0042501 - ÚI 2007 RIV CZ eng L - Prototype, f. module
Ratschan, Stefan
System HSOLVER.
[Systém HSOLVER.]
Internal code: HSOLVER ; 2006
Technical parameters: verifikace hybridních systémů
Economic parameters: zlepšení verifikace hybridních systémů
Institutional research plan: CEZ:AV0Z10300504
Keywords : verification * hybrid dynamical systems
Subject RIV: IN - Informatics, Computer Science
http://hsolver.sourceforge.net/
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.
HSolver je program pro verifikaci hybridních systémů založený na řešiči RSolver. Na rozdíl od jiných balíků jeho správnost nezávisí na zaokrouhlovacích chybách.
Permanent Link: http://hdl.handle.net/11104/0135711
Number of the records: 1