ARCH25: Editor's Preface

This volume contains the papers presented at the 12th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH), as well as the results of the 9th edition of ARCH-COMP, a competition for the formal verification of continuous and hybrid systems. The workshop was held on Wednesday, June 4, 2025, as an online event. The ARCH workshops aim to bring together industry professionals with researchers and tool developers interested in applying verification techniques to continuous and hybrid systems. The workshops are accompanied by a collaborative website (cps-vo.org/group/ARCH), which features a curated collection of benchmarks, disseminates results submitted by researchers and tool developers, and provides feedback from practitioners in the form of experience reports. The benchmark repository is intended to serve as a lasting and evolving resource for the research community.

The workshop and these proceedings present the results of the 9th edition of ARCH-COMP, a friendly competition that was carried out online from March to June 2025. ARCH-COMP showcases the participating tools and serves as a testing ground to see which methods are particularly suitable for which types of problems. As a side effect, it aims to establish a consensus for comparing different software implementations in the context of verification, as reviewers routinely demand such comparisons in scientific publications.

All participating tools were represented in the competition jury headed by the organizers. In the problem phase of the competition, participants submitted problem instances, which were then approved by the jury by consensus. In most categories, participants submitted a code package, and the performance measurements were run centrally under the supervision of Tobias Ladner. As indicated in the reports, participants who could not submit executable code carried out the performance measurements. To further establish the results' trustworthiness, the code used to obtain them is available on the ARCH website.

The problem descriptions and the results are provided in a report for each category, drafted by the category lead and representatives of the participating tools. Due to the diversity of problems, ARCH-COMP does not provide any ranking of tools. Nonetheless, the presented results provide the most complete assessment of tools for the safety verification of continuous and hybrid systems to date.