Počet záznamů: 1
System HSOLVER
- 1.0042501 - ÚI 2007 RIV CZ eng L - Prototyp, funkční vzorek
Ratschan, Stefan
System HSOLVER.
[Systém HSOLVER.]
Interní kód: HSOLVER ; 2006
Technické parametry: verifikace hybridních systémů
Ekonomické parametry: zlepšení verifikace hybridních systémů
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: verification * hybrid dynamical systems
Kód oboru RIV: IN - Informatika
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.
Trvalý link: http://hdl.handle.net/11104/0135711
Počet záznamů: 1