ARCH-COMP 2024 Category Report: Falsification

Year of publication

2024

Authors

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; Zhenya Zhang

Abstract

<p>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.</p>

Organizations and authors

Åbo Akademi University

Porres Ivan

Peltomäki Jarkko

Soloviev Valentin

Publication type

Publication format

Article

Parent publication type

Conference

Article type

Audience

Scientific

Peer-reviewed

Peer-Reviewed

MINEDU's publication type classification code

A4 Article in conference proceedings

Publication channel information

Volume

103

Pages

122-144

ISSN

2398-7340

Publication forum

86263

Publication forum level

Open access

Open access in the publisher’s service

Yes

Open access of publication channel

Fully open publication channel

Self-archived

Yes

Other information

Fields of science

Computer and information sciences

Internationality of the publisher

International

Language

English

International co-publication

Yes

Co-publication with a company

DOI

10.29007/hgfv

The publication is included in the Ministry of Education and Culture’s Publication data collection

Yes