The next ARCH workshop will be held online on Wednesday, June 04, 2025.

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
• Falsification
• Hybrid Programs and Theorem Proving

The repeatability packages of the competition provide an easy way to run comparisons with a large collection of tools.