Verification Tool Competition

ARCH brings together researchers and practitioners to establish a curated set of benchmarks for verification, testing and reachability, and evaluate them in a friendly competition. ARCH started in 2014 and has sustained a vibrant community since. Since 2017, ARCH has organized as a part of the workshop the International Competition on Verifying Continuous and Hybrid Systems (ARCH-COMP, https://cps-vo.org/group/ARCH/), now in its 3rd iteration. ARCH and ARCH-COMP will be held this year in conjunction with Cyber-Physical Systems and Internet-of-Things Week (CPS-IoT Week 2019, http://www.cpsweek.org/).

ARCH-COMP had around a dozen participating verification tools in 2017, around two-dozen in 2018, and thus far has approximately four-dozen tools for the 2019 iteration.

There are 8 categories of problems, varying the class of systems addressed (e.g., linear vs. nonlinear hybrid systems) to the problem addressed (e.g., reachability, falsification, theorem proving, etc.).