Visible to the public Applied Verification for Continuous and Hybrid Systems

2022 Edition

The next ARCH workshop will be held on Tuesday, September 06, 2022, in Munich, Germany, as part of the 41st International Conference on Computer Safety, Reliability and Security (SAFECOMP).

You can join the event online or in-person (hybrid format). A non-representative survey indicated that most people will present and participate remotely.

Philosophy

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.

In the Spotlight

The ARCH 2020 Best Result Award goes to Luis Benet, Marcelo Forets, Daniel Freire, David P. Sanders, and Christian Schilling (in alphabetical order) for their verification tool JuliaReach. The award comes with a 500 Euro prize. Congratulations!
The 2022 prize of ARCH-COMP was awarded to PSY-TaLiRo. The jury, consisting of group leaders and workshop participants, appreciated the technical achievements embodied in PSY-TaLiRo and furthermore recognised the long and continuous stream of contributions that the team has made to the community. The award comes with a 500...

Recent News

Upcoming Events

* no upcoming events found