Conference
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 …
Authors
Ernst G; Arcaini P; Fainekos G; Formica F; Inoue J; Khandait T; Mahboob MM; Menghi C; Pedrielli G; Waga M
Volume
90
Pagination
pp. 204-185
Publisher
EasyChair
Publication Date
December 13, 2022
DOI
10.29007/fhnk
Conference proceedings
EPiC series in computing
ISSN
2398-7340