The workshop on applied verification for continuous and hybrid systems<br>(ARCH) brings together researchers and practitioners, and establishes a<br>curated set of benchmarks submitted by academia and industry.<br>Verification of continuous and hybrid systems is increasing in<br>importance due to new cyber–physical systems that are safety– or<br>operation–critical. This workshop addresses verification techniques for<br>continuous and hybrid systems with a special focus on the transfer from<br>theory to practice. Topics include, but are not limited to<br>– Proposals for new benchmark problems (not necessarily yet solvable)<br>– Tool presentations<br>– Tool executions and evaluations based on ARCH benchmarks<br>– Experience reports including open issues for industrial success<br>Researchers are welcome to submit examples, tools and benchmarks that<br>have already appeared in brief form, but whose details were omitted. The<br>online benchmark repository allows researchers to include modeling<br>details, parameters, simulation results, etc. Submissions are<br>encouraged, but not required, to include executable data (models,<br>configuration files, code etc.). It is not required to show that the<br>benchmark has a solution; it suffices that the problem is described in<br>enough detail that somebody else can try to solve it.<br>
Abbrevation
ARCH
City
Vienna
Country
Austria
Deadline Paper
Start Date
End Date
Abstract