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.).

Submitted by Anonymous on
Feedback
Feedback
If you experience a bug or would like to see an addition or change on the current page, feel free to leave us a message.
Image CAPTCHA
Enter the characters shown in the image.
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.