Download PDFOpen PDF in browser

ARCH-COMP 2020 Category Report: Falsification

13 pagesPublished: September 25, 2020

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.

Keyphrases: competition, falsification, hybrid systems, simulation, temporal logic

In: Goran Frehse and Matthias Althoff (editors). ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), vol 74, pages 140-152.

BibTeX entry
@inproceedings{ARCH20:ARCH_COMP_2020_Category,
  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},
  title     = {ARCH-COMP 2020 Category Report: Falsification},
  booktitle = {ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {74},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/ps5t},
  doi       = {10.29007/trr1},
  pages     = {140-152},
  year      = {2020}}
Download PDFOpen PDF in browser