ARCH-COMP 2019 Category Report: Falsification

12 pages•Published: May 25, 2019

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

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

In: Goran Frehse and Matthias Althoff (editors). ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, vol 61, pages 129-140.

Links:	https://easychair.org/publications/paper/5VWq
	https://doi.org/10.29007/68dk

BibTeX entry

@inproceedings{ARCH19:ARCH_COMP_2019_Category,
  author    = {Gidon Ernst and Paolo Arcaini and Alexandre Donzé and Georgios Fainekos and Logan Mathesen and Giulia Pedrielli and Shakiba Yaghoubi and Yoriyuki Yamagata and Zhenya Zhang},
  title     = {ARCH-COMP 2019 Category Report: Falsification},
  booktitle = {ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {61},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/5VWq},
  doi       = {10.29007/68dk},
  pages     = {129-140},
  year      = {2019}}

Download PDF Open PDF in browser