ARCH-COMP23 Category Report: Falsification

19 pages•Published: October 18, 2023

Claudio Menghi, Paolo Arcaini, Walstan Baptista, Gidon Ernst, Georgios Fainekos, Federico Formica, Sauvik Gon, Tanmay Khandait, Atanu Kundu, Giulia Pedrielli, Jarkko Peltomäki, Ivan Porres, Rajarshi Ray, Masaki Waga and Zhenya Zhang

Abstract

This report presents the results from the 2023 friendly competition in the ARCH workshop for the falsification of temporal logic specifications over Cyber-Physical Systems. We describe the benchmark models selected to compare the tools and the competition settings and provide background on the participating teams and tools. Finally, we present and discuss our results.

Keyphrases: benchmarking, cyber physical systems, evaluation, falsification, friendly competition

In: Goran Frehse and Matthias Althoff (editors). Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), vol 96, pages 151-169.

Links:	https://easychair.org/publications/paper/wFh9
	https://doi.org/10.29007/6nqs

BibTeX entry

@inproceedings{ARCH23:ARCH_COMP23_Category_Report,
  author    = {Claudio Menghi and Paolo Arcaini and Walstan Baptista and Gidon Ernst and Georgios Fainekos and Federico Formica and Sauvik Gon and Tanmay Khandait and Atanu Kundu and Giulia Pedrielli and Jarkko Peltomäki and Ivan Porres and Rajarshi Ray and Masaki Waga and Zhenya Zhang},
  title     = {ARCH-COMP23 Category Report: Falsification},
  booktitle = {Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {96},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/wFh9},
  doi       = {10.29007/6nqs},
  pages     = {151-169},
  year      = {2023}}

Download PDF Open PDF in browser