Conference
ARCH-COMP 2020 Category Report: Falsification
Abstract
This report presents the results from the 2020 friendly competition in the ARCH workshop for the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly describe the competition settings, which have been inherited from the previous year, give background on the participating teams and tools and discuss the selected benchmarks. The benchmarks are available on the ARCH website1, as well as in the competition’s gitlab …
Authors
Ernst G; Arcaini P; Bennani I; Donze A; Fainekos G; Frehse G; Mathesen L; Menghi C; Pedrielli G; Pouzet M
Volume
74
Pagination
pp. 140-126
Publisher
EasyChair
Publication Date
September 25, 2020
DOI
10.29007/trr1
Conference proceedings
EPiC series in computing
ISSN
2398-7340