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
N1 - Funding Information:
Acknowledgments Many thanks to the organizers of the ARCH workshop 2021 for hosting this competition and for providing a supportive and friendly environment. The organizer thanks all participants for their time and patience during investigation of the discrepancies found during validation. P. Arcaini is supported by ERATO HASUO Metamathematics for Systems Design Project (No. JPMJER1603), JST. Funding Reference number: 10.13039/501100009024 ERATO. The ASU team (S-TaLiRo + SOAR) was partially supported by DARPA FA8750-20-C-0507, NSF CNS 1932068, NSF CMMI 2046588, NSF CNS 2000792, NSF CMMI 1829238, NSF IIP-1361926 and the NSF I/UCRC Center for Embedded Systems. Z. Zhang is supported by JSPS KAKENHI Grant No. 20H04168, 19K24348, 19H04086, JST-Mirai Program Grant No. JPMJMI20B8, Japan. K. Gaaloul and C. Menghi are supported by the European Research Council under the European Union’s Horizon 2020 research and innovation programme (grant No 694277). M. Waga is partially supported by JST ACT-X Grant Number JPMJAX200U and JST CREST Grant Number JPMJCR2012, Japan. zlscheck was funded by the ModeliScale Inria Project Lab.
Publisher Copyright:
© 2021, EasyChair. All rights reserved.
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 - http://www.scopus.com/inward/record.url?scp=85124294965&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85124294965&partnerID=8YFLogxK
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 -