Arch-comp 2019 category report: Falsification

Gidon Ernst, Paolo Arcaini, Alexandre Donze, Georgios Fainekos, Logan Mathesen, Giulia Pedrielli, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang

Research output: Contribution to journalConference article

4 Scopus citations

Abstract

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.

Original languageEnglish (US)
Pages (from-to)129-140
Number of pages12
JournalEPiC Series in Computing
Volume61
DOIs
StatePublished - Jan 1 2019
Event6th International Workshop on Applied Verification for Continuous and Hybrid systems, ARCH 2019 - Montreal, Canada
Duration: Apr 15 2019Apr 15 2019

ASJC Scopus subject areas

  • Computer Science(all)

Fingerprint Dive into the research topics of 'Arch-comp 2019 category report: Falsification'. Together they form a unique fingerprint.

  • Cite this

    Ernst, G., Arcaini, P., Donze, A., Fainekos, G., Mathesen, L., Pedrielli, G., Yaghoubi, S., Yamagata, Y., & Zhang, Z. (2019). Arch-comp 2019 category report: Falsification. EPiC Series in Computing, 61, 129-140. https://doi.org/10.29007/68dk