Conference
ARCH-COMP 2021 Category Report: Falsification with Validation of Results
Abstract
This report presents the results from the 2021 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 from the previ- ous years, give background on the participating teams and tools and discuss the selected benchmarks. Apart from new requirements and participants, the major novelty in this instalment …
Authors
Ernst G; Arcaini P; Bennani I; Chandratre A; Donzé A; Fainekos G; Frehse G; Gaaloul K; Inoue J; Khandait T
Volume
80
Pagination
pp. 133-112
Publisher
EasyChair
Publication Date
December 6, 2021
DOI
10.29007/xwl1
Conference proceedings
EPiC series in computing
ISSN
2398-7340