Home
Scholarly Works
ARCH-COMP 2020 Category Report: Falsification
Conference

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’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.

Authors

Ernst G; Arcaini P; Bennani I; Donze A; Fainekos G; Frehse G; Mathesen L; Menghi C; Pedrielli G; Pouzet M

Volume

74

Pagination

pp. 140-126

Publisher

EasyChair

Publication Date

September 25, 2020

DOI

10.29007/trr1

Conference proceedings

EPiC series in computing

ISSN

2398-7340
View published work (Non-McMaster Users)

Contact the Experts team