Download PDFOpen PDF in browser

ARCH-COMP 2021 Category Report: Falsification with Validation of Results

20 pagesPublished: December 6, 2021

Abstract

This report presents the results from the 2021 friendly competition in the ARCH work- shop for the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly describe the competition settings, which have been inherited from the previ- ous years, give background on the participating teams and tools and discuss the selected benchmarks. Apart from new requirements and participants, the major novelty in this instalment is that falsifying inputs have been validated independently. During this pro- cess, we uncovered several issues like configuration errors and computational discrepancies, stressing the importance of this kind of validation.

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

In: Goran Frehse and Matthias Althoff (editors). 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), vol 80, pages 133-152.

BibTeX entry
@inproceedings{ARCH21:ARCH_COMP_2021_Category,
  author    = {Gidon Ernst and Paolo Arcaini and Ismail Bennani and Aniruddh Chandratre and Alexandre Donzé and Georgios Fainekos and Goran Frehse and Khouloud Gaaloul and Jun Inoue and Tanmay Khandait and Logan Mathesen and Claudio Menghi and Giulia Pedrielli and Marc Pouzet and Masaki Waga and Shakiba Yaghoubi and Yoriyuki Yamagata and Zhenya Zhang},
  title     = {ARCH-COMP 2021 Category Report: Falsification with Validation of Results},
  booktitle = {8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {80},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/F4kf},
  doi       = {10.29007/xwl1},
  pages     = {133-152},
  year      = {2021}}
Download PDFOpen PDF in browser