ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources

Abstract

This report presents the results from the 2022 friendly competition in the ARCH work- shop for the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly describe the competition settings, which have been inherited and adapted from the previous years, give background on the participating teams and tools, and discuss the selected benchmarks. In this year’s competition, in addition to the result validation introduced in the previous year, we change the experimental settings for a better account of the difficulty of benchmarks and for a better comparability between the tools.

ARCH-COMP23 Category Report: Falsification

“…Research in this area has produced a variety of techniques, mature tools, and practical applications; these are described in overview survey articles [5,8]. For past instalments of this competition 2017-2022 see [9,10,14,13,12,15]. The benchmark set developed by this competition series can be seen as a baseline for research in the area (cf.…”