ARCH-COMP23 Category Report: Falsification

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

EPiC series in computing（2023）

引用 0|浏览2

暂无评分

摘要

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.

查看译文

关键词

falsification,report,arch-comp

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要