Scholarly Works

ARCH-COMP 2024 Category Report: Falsification

ARCH-COMP 2024 Category Report: Falsification

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.

Authors

Khandait T; Formica F; Arcaini P; Chotaliya S; Fainekos G; Hekal A; Kundu A; Lew E; Loreti M; Menghi C

Volume

103

Pagination

pp. 122-198

Publisher

EasyChair

Publication Date

October 10, 2024

DOI

10.29007/hgfv

Conference proceedings

EPiC series in computing

ISSN

2398-7340

Associated Experts

Claudio Menghi

Adjunct Assistant Professor, Faculty of Engineering

Labels

Fields of Research (FoR)

40 Engineering 4007 Control Engineering, Mechatronics and Robotics 49 Mathematical Sciences

View published work (Non-McMaster Users)

Contact the Experts team

Get technical help

or

Provide website feedback