Open AccessARCH-COMP 2021 Category Report: Falsification with Validation of Results
Author(s) -
Gerhard Ernst,
Paolo Arcaini,
Ismail Bennani,
Aniruddh Chandratre,
Alexandre Donzé,
Georgios Fainekos,
Goran Frehse,
Khouloud Gaaloul,
Jun Inoue,
Tanmay Khandait,
Logan Mathesen,
Claudio Menghi,
Giulia Pedrielli,
Marc Pouzet,
Masaki Waga,
Shakiba Yaghoubi,
Yoriyuki Yamagata,
Zhenya Zhang
Publication year - 2021
Publication title -
epic series in computing
Language(s) - English
Resource type - Conference proceedings
SCImago Journal Rank - 0.21
H-Index - 7
ISSN - 2398-7340
DOI - 10.29007/xwl1
Subject(s) - novelty , computer science , competition (biology) , arch , work (physics) , artificial intelligence , software engineering , engineering , psychology , mechanical engineering , social psychology , ecology , civil engineering , biology
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 is that falsifying inputs have been validated independently. During this pro- cess, we uncovered several issues like configuration errors and computational discrepancies, stressing the importance of this kind of validation.