ARCH-COMP

This repository contains the participant data for the ARCH verification competition: https://cps-vo.org/group/ARCH/FriendlyCompetition.