(Follow this link for the registration for the workshop)
- Goran Frehse
- Matthias Althoff
- Sergiy Bogomolov
- Taylor T. Johnson
While progress in the verification of continuous and hybrid systems has lead to academic tools and algorithms that can handle systems of considerable complexity, the transition to industrial applications is challenging. The goal of the workshop is to bring together people from industry with researchers and tool developers interested in applying verification to continuous and hybrid systems.
The workshop, now in its 7th edition, is accompanied by a curated benchmark repository and a collaborative website. It also hosts ARCH-COMP, a verification competition for continuous and hybrid systems. In 2018 and 2019, practically all major publicly available tools in this domain participated, 24 in total.
The workshop provides a vital bridge from academic research to industrial practice.