Applied Verification for Continuous and Hybrid Systems

2019 Edition

The next ARCH workshop will be held on April 15, 2019, in Montreal, as part of CPS-IoT Week.

Philosophy

This workshop aims at bringing together researchers and practitioners, and to establish a curated set of benchmarks submitted by academia and industry.

Verification of continuous and hybrid systems is increasing in importance due to new cyber-physical systems that are safety- or operation-critical. This workshop addresses verification techniques for continuous and hybrid systems with a special focus on the transfer from theory to practice. Topics include, but are not limited to

• Proposals for new benchmark problems (not necessarily yet solvable)
• Tool presentations
• Tool executions and evaluations based on ARCH benchmarks
• Experience reports including open issues for industrial success