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

doi:10.29007/xwl1

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 journal › Conference article › peer-review

28 Scopus citations

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 language	English (US)
Pages (from-to)	133-152
Number of pages	20
Journal	EPiC Series in Computing
Volume	80
DOIs	https://doi.org/10.29007/xwl1
State	Published - 2021
Event	8th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2021 - Virtual, Online Duration: Jul 9 2021 → Jul 9 2021

ASJC Scopus subject areas

General Computer Science

Access to Document

10.29007/xwl1

Cite this

Ernst, G., Arcaini, P., Bennani, I., Chandratre, A., Donze, A., Fainekos, G., Frehse, G., Gaaloul, K., Inoue, J., Khandait, T., Mathesen, L., Menghi, C., Pedrielli, G., Pouzet, M., Waga, M., Yaghoubi, S., Yamagata, Y., & Zhang, Z. (2021). ARCH-COMP 2021 Category Report: Falsification with Validation of Results. EPiC Series in Computing, 80, 133-152. https://doi.org/10.29007/xwl1

Ernst, G, Arcaini, P, Bennani, I, Chandratre, A, Donze, A, Fainekos, G, Frehse, G, Gaaloul, K, Inoue, J, Khandait, T, Mathesen, L, Menghi, C, Pedrielli, G, Pouzet, M, Waga, M, Yaghoubi, S, Yamagata, Y & Zhang, Z 2021, 'ARCH-COMP 2021 Category Report: Falsification with Validation of Results', EPiC Series in Computing, vol. 80, pp. 133-152. https://doi.org/10.29007/xwl1

@article{c5314a752b85470bb220172ad362f7d2,

title = "ARCH-COMP 2021 Category Report: Falsification with Validation of Results",

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",

author = "Gidon Ernst and Paolo Arcaini and Ismail Bennani and Aniruddh Chandratre and Alexandre Donze and Georgios Fainekos and Goran Frehse and Khouloud Gaaloul and Jun Inoue and Tanmay Khandait and Logan Mathesen and Claudio Menghi and Giulia Pedrielli and Marc Pouzet and Masaki Waga and Shakiba Yaghoubi and Yoriyuki Yamagata and Zhenya Zhang",

note = "Publisher Copyright: {\textcopyright} 2021, EasyChair. All rights reserved.; 8th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2021 ; Conference date: 09-07-2021 Through 09-07-2021",

year = "2021",

doi = "10.29007/xwl1",

language = "English (US)",

volume = "80",

pages = "133--152",

journal = "EPiC Series in Computing",

issn = "2398-7340",

publisher = "EasyChair",

}

TY - JOUR

T1 - ARCH-COMP 2021 Category Report

T2 - 8th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2021

AU - Ernst, Gidon

AU - Arcaini, Paolo

AU - Bennani, Ismail

AU - Chandratre, Aniruddh

AU - Donze, Alexandre

AU - Fainekos, Georgios

AU - Frehse, Goran

AU - Gaaloul, Khouloud

AU - Inoue, Jun

AU - Khandait, Tanmay

AU - Mathesen, Logan

AU - Menghi, Claudio

AU - Pedrielli, Giulia

AU - Pouzet, Marc

AU - Waga, Masaki

AU - Yaghoubi, Shakiba

AU - Yamagata, Yoriyuki

AU - Zhang, Zhenya

PY - 2021

Y1 - 2021

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

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

UR - https://www.scopus.com/pages/publications/85124294965

UR - https://www.scopus.com/pages/publications/85124294965#tab=citedBy

U2 - 10.29007/xwl1

DO - 10.29007/xwl1

M3 - Conference article

AN - SCOPUS:85124294965

SN - 2398-7340

VL - 80

SP - 133

EP - 152

JO - EPiC Series in Computing

JF - EPiC Series in Computing

Y2 - 9 July 2021 through 9 July 2021

ER -

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

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this