The next ARCH workshop will be held on Wednesday, July 03, 2024, in Boulder, Colorado USA, as part of the 8th IFAC Conference on Analysis and Design of Hybrid Systems.
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. It maintains a curated set of verification benchmarks submitted by academia and industry. The ARCH workshop also hosts the ARCH-COMP friendly competition, which provides an up-to-date snapshot of the state of the art in verification tools in a large variety of categories, including:
- Formal Verification of Hybrid Systems (piecewise constant, linear, and nonlinear dynamics)
- Artificial Intelligence and Neural Network Control Systems
- Stochastic Models
- Hybrid Programs and Theorem Proving
The repeatability packages of the competition provide an easy way to run comparisons with a large collection of tools.