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

Universität München
National Institute of Informatics (NII)
PSL research University & IPSL
Arizona State University
Decyphir SAS
University of Luxembourg
National Institute of Advanced Industrial Science and Technology
McMaster University
Kyoto University
Nanyang Technological University

Research output: Contribution to journal › Conference article › peer-review

35 Citations (Scopus)

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

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

@article{031e07a1f9224b5e88f7daf2cadef6c9,

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

month = jan,

day = "1",

doi = "10.29007/xwl1",

language = "English",

volume = "80",

pages = "133--152",

journal = "EPiC Series in Computing",

issn = "2398-7340",

publisher = "EasyChair",

}

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

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/1/1

Y1 - 2021/1/1

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

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

Access to Document

Fingerprint

Cite this