ARCH-COMP 2024 Category Report: Falsification

23 pages•Published: October 10, 2024

Tanmay Khandait, Federico Formica, Paolo Arcaini, Surdeep Chotaliya, Georgios Fainekos, Abdelrahman Hekal, Atanu Kundu, Ethan Lew, Michele Loreti, Claudio Menghi, Laura Nenzi, Giulia Pedrielli, Jarkko Peltomäki, Ivan Porres, Rajarshi Ray, Valentin Soloviev, Ennio Visconti, Masaki Waga and Zhenya Zhang

Abstract

This report presents the results from the falsification category of the 2024 competition in the Applied Verification for Continuous and Hybrid Systems (ARCH) workshop. The report summarizes the competition rules and settings, the benchmark models for the tool comparison, and provides background on the participating teams and tools. Finally, it presents and discusses the results of the competition.

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

In: Goran Frehse and Matthias Althoff (editors). Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems, vol 103, pages 122-144.

Links:	https://easychair.org/publications/paper/fKVR
	https://doi.org/10.29007/hgfv

BibTeX entry

@inproceedings{ARCH-COMP24:ARCH_COMP_2024_Category,
  author    = {Tanmay Khandait and Federico Formica and Paolo Arcaini and Surdeep Chotaliya and Georgios Fainekos and Abdelrahman Hekal and Atanu Kundu and Ethan Lew and Michele Loreti and Claudio Menghi and Laura Nenzi and Giulia Pedrielli and Jarkko Peltomäki and Ivan Porres and Rajarshi Ray and Valentin Soloviev and Ennio Visconti and Masaki Waga and Zhenya Zhang},
  title     = {ARCH-COMP 2024 Category Report: Falsification},
  booktitle = {Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {103},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/fKVR},
  doi       = {10.29007/hgfv},
  pages     = {122-144},
  year      = {2024}}

Download PDF Open PDF in browser