The HyDRA Tool: A Playground for the Development of Hybrid Systems Reachability Analysis Methods

Sep 4, 2018·
Stefan Schupp
Stefan Schupp
,
Erika Ábrahám
· 0 min read
Abstract
HyDRA is a tool for reachability analysis of hybrid systems. This paper presents HyDRA as a playground for the development and testing of different hybrid systems reachability analysis methods, allowing researchers to implement, compare, and evaluate various verification techniques.
Type
Stefan Schupp
Authors
Stefan Schupp
Formal Verification Engineer