Arch-comp 2019 category report: Falsification

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

doi:10.29007/68dk

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

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 website¹, as well as in the com-petition’s gitlab repository² . 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 language	English (US)
Pages (from-to)	129-140
Number of pages	12
Journal	EPiC Series in Computing
Volume	61
DOIs	https://doi.org/10.29007/68dk
State	Published - 2019
Event	6th International Workshop on Applied Verification for Continuous and Hybrid systems, ARCH 2019 - Montreal, Canada Duration: Apr 15 2019 → Apr 15 2019

ASJC Scopus subject areas

General Computer Science

Access to Document

10.29007/68dk

Cite this

@article{42a09d77968842808295e1f4b1eeae2e,

title = "Arch-comp 2019 category report: Falsification",

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{\textquoteright}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.",

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

note = "Publisher Copyright: {\textcopyright} 2019, EasyChair. All rights reserved.; 6th International Workshop on Applied Verification for Continuous and Hybrid systems, ARCH 2019 ; Conference date: 15-04-2019 Through 15-04-2019",

year = "2019",

doi = "10.29007/68dk",

language = "English (US)",

volume = "61",

pages = "129--140",

journal = "EPiC Series in Computing",

issn = "2398-7340",

publisher = "EasyChair",

}

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

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 - https://www.scopus.com/pages/publications/85069834425

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

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 -

Arch-comp 2019 category report: Falsification

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this