TY - JOUR
T1 - Arch-comp 2019 category report
T2 - 6th International Workshop on Applied Verification for Continuous and Hybrid systems, ARCH 2019
AU - Ernst, Gidon
AU - Arcaini, Paolo
AU - Donze, Alexandre
AU - Fainekos, Georgios
AU - Mathesen, Logan
AU - Pedrielli, Giulia
AU - Yaghoubi, Shakiba
AU - Yamagata, Yoriyuki
AU - Zhang, Zhenya
N1 - Publisher Copyright:
© 2019, EasyChair. All rights reserved.
PY - 2019
Y1 - 2019
N2 - This report presents the results from the 2019 friendly competition in the ARCH workshop for the falsification of temporal logic specifications over Cyber-Physical Systems. We describe the organization of the competition and how it differs from previous years. We give background on the participating teams and tools and discuss the selected benchmarks and results. The benchmarks are available on the ARCH website1, as well as in the com-petition’s gitlab repository2 . The main outcome of the 2019 competition is a common benchmark repository, and an initial base-line for falsification, with results from multiple tools, which will facilitate comparisons and tracking of the state-of-the-art in falsification in the future.
AB - This report presents the results from the 2019 friendly competition in the ARCH workshop for the falsification of temporal logic specifications over Cyber-Physical Systems. We describe the organization of the competition and how it differs from previous years. We give background on the participating teams and tools and discuss the selected benchmarks and results. The benchmarks are available on the ARCH website1, as well as in the com-petition’s gitlab repository2 . The main outcome of the 2019 competition is a common benchmark repository, and an initial base-line for falsification, with results from multiple tools, which will facilitate comparisons and tracking of the state-of-the-art in falsification in the future.
UR - http://www.scopus.com/inward/record.url?scp=85069834425&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85069834425&partnerID=8YFLogxK
U2 - 10.29007/68dk
DO - 10.29007/68dk
M3 - Conference article
AN - SCOPUS:85069834425
SN - 2398-7340
VL - 61
SP - 129
EP - 140
JO - EPiC Series in Computing
JF - EPiC Series in Computing
Y2 - 15 April 2019 through 15 April 2019
ER -