High-level Hybrid Systems Analysis with Hypy
Hybrid systems play an important role in many application domains. A range of powerful analysis methods for this class of systems perform high-level analysis, where, iteratively,(1) a reachability computation is performed on a system model, (2) the result of the analysis is examined, and (3) the model is modified and the process repeats. For example, a well-known high-level analysis method is counter-example guided abstraction refinement (CEGAR), where, at each iteration, the model is refined...[Show more]
|Collections||ANU Research Publications|
|Source:||Benchmark for Verification of Fault-Tolerant Clock Synchronization Algorithms|
|Access Rights:||Open Access via publisher website|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.