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

Gidon Ernst, Paolo Arcaini, Ismail Bennani, Aniruddh Chandratre, Alexandre Donze, 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

Research output: Contribution to journalConference articlepeer-review

Abstract

This report presents the results from the 2021 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 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 process, we uncovered several issues like configuration errors and computational discrepancies, stressing the importance of this kind of validation. Data: https://gitlab.com/goranf/ARCH-COMP, https://dx.doi.org/10.5281/zenodo.5651631

Original languageEnglish (US)
Pages (from-to)133-152
Number of pages20
JournalEPiC Series in Computing
Volume80
DOIs
StatePublished - 2021
Event8th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2021 - Virtual, Online
Duration: Jul 9 2021Jul 9 2021

ASJC Scopus subject areas

  • Computer Science(all)

Fingerprint

Dive into the research topics of 'ARCH-COMP 2021 Category Report: Falsification with Validation of Results'. Together they form a unique fingerprint.

Cite this