ARCH-COMP 2021 Category Report - Falsification with Validation of Results.

Gidon 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

ARCH@ADHS（2021）

Cited 3|Views12

No score

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 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.

Translated text

AI Read Science

Must-Reading Tree

Example

Generate MRT to find the research sequence of this paper

Chat Paper

Summary is being generated by the instructions you defined