Download PDFOpen PDF in browser

ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources

18 pagesPublished: December 13, 2022

Abstract

This report presents the results from the 2022 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 and adapted from the previous years, give background on the participating teams and tools, and discuss the selected benchmarks. In this year’s competition, in addition to the result validation introduced in the previous year, we change the experimental settings for a better account of the difficulty of benchmarks and for a better comparability between the tools.

Keyphrases: Benchmarking, Cyber-Physical Systems, evaluation, falsification, Friendly Competition

In: Goran Frehse, Matthias Althoff, Erwin Schoitsch and Jeremie Guiochet (editors). Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), vol 90, pages 204--221

Links:
BibTeX entry
@inproceedings{ARCH22:ARCH_COMP_2022_Category_Report,
  author    = {Gidon Ernst and Paolo Arcaini and Georgios Fainekos and Federico Formica and Jun Inoue and Tanmay Khandait and Mohammad Mahdi Mahboob and Claudio Menghi and Giulia Pedrielli and Masaki Waga and Yoriyuki Yamagata and Zhenya Zhang},
  title     = {ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources},
  booktitle = {Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)},
  editor    = {Goran Frehse and Matthias Althoff and Erwin Schoitsch and Jeremie Guiochet},
  series    = {EPiC Series in Computing},
  volume    = {90},
  pages     = {204--221},
  year      = {2022},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/fRB5},
  doi       = {10.29007/fhnk}}
Download PDFOpen PDF in browser