ARCH-COMP 2020 category report: Falsification

Gidon Ernst; Paolo Arcaini; Ismail Bennani; Alexandre Donze; Georgios Fainekos; Goran Frehse; Logan Mathesen; Claudio Menghi; Giulia Pedrielli; Marc Pouzet; Shakiba Yaghoubi; Yoriyuki Yamagata; Zhenya Zhang

doi:10.29007/trr1

ARCH-COMP 2020 category report: Falsification

Gidon Ernst, Paolo Arcaini, Ismail Bennani, Alexandre Donze, Georgios Fainekos, Goran Frehse, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang

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

29 Scopus citations

Abstract

This report presents the results from the 2020 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 year, give background on the participating teams and tools and discuss the selected benchmarks. The benchmarks are available on the ARCH website¹, as well as in the competition’s gitlab repository² . In comparison to 2019, we have two new participating tools with novel approaches, and the results show a clear improvement over previous performances on some benchmarks.

Original language	English (US)
Pages (from-to)	140-152
Number of pages	13
Journal	EPiC Series in Computing
Volume	74
DOIs	https://doi.org/10.29007/trr1
State	Published - 2020
Event	7th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2020 - Virual, Online Duration: Jul 12 2020 → Jul 12 2020

ASJC Scopus subject areas

General Computer Science

Access to Document

10.29007/trr1

Cite this

@article{90e50fb40c5048a0b7090f4b1f758b00,

title = "ARCH-COMP 2020 category report: Falsification",

abstract = "This report presents the results from the 2020 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 year, give background on the participating teams and tools and discuss the selected benchmarks. The benchmarks are available on the ARCH website1, as well as in the competition{\textquoteright}s gitlab repository2 . In comparison to 2019, we have two new participating tools with novel approaches, and the results show a clear improvement over previous performances on some benchmarks.",

author = "Gidon Ernst and Paolo Arcaini and Ismail Bennani and Alexandre Donze and Georgios Fainekos and Goran Frehse and Logan Mathesen and Claudio Menghi and Giulia Pedrielli and Marc Pouzet and Shakiba Yaghoubi and Yoriyuki Yamagata and Zhenya Zhang",

note = "Publisher Copyright: {\textcopyright} 2020 EasyChair. All rights reserved.; 7th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2020 ; Conference date: 12-07-2020 Through 12-07-2020",

year = "2020",

doi = "10.29007/trr1",

language = "English (US)",

volume = "74",

pages = "140--152",

journal = "EPiC Series in Computing",

issn = "2398-7340",

}

TY - JOUR

T1 - ARCH-COMP 2020 category report

T2 - 7th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2020

AU - Ernst, Gidon

AU - Arcaini, Paolo

AU - Bennani, Ismail

AU - Donze, Alexandre

AU - Fainekos, Georgios

AU - Frehse, Goran

AU - Mathesen, Logan

AU - Menghi, Claudio

AU - Pedrielli, Giulia

AU - Pouzet, Marc

AU - Yaghoubi, Shakiba

AU - Yamagata, Yoriyuki

AU - Zhang, Zhenya

PY - 2020

Y1 - 2020

N2 - This report presents the results from the 2020 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 year, give background on the participating teams and tools and discuss the selected benchmarks. The benchmarks are available on the ARCH website1, as well as in the competition’s gitlab repository2 . In comparison to 2019, we have two new participating tools with novel approaches, and the results show a clear improvement over previous performances on some benchmarks.

AB - This report presents the results from the 2020 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 year, give background on the participating teams and tools and discuss the selected benchmarks. The benchmarks are available on the ARCH website1, as well as in the competition’s gitlab repository2 . In comparison to 2019, we have two new participating tools with novel approaches, and the results show a clear improvement over previous performances on some benchmarks.

UR - http://www.scopus.com/inward/record.url?scp=85121575509&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85121575509&partnerID=8YFLogxK

U2 - 10.29007/trr1

DO - 10.29007/trr1

M3 - Conference article

AN - SCOPUS:85121575509

SN - 2398-7340

VL - 74

SP - 140

EP - 152

JO - EPiC Series in Computing

JF - EPiC Series in Computing

Y2 - 12 July 2020 through 12 July 2020

ER -

ARCH-COMP 2020 category report: Falsification

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this