ARCH-COMP 2020 category report: Falsification

Gidon Ernst, Paolo Arcaini, Ismail Bennani, Alexandre Donze, Georgios Fainekos, Goran Frehse, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang

研究成果: ジャーナルへの寄稿会議記事査読

29 被引用数 (Scopus)

抄録

This report presents the results from the 2020 friendly competition in the ARCH workshop for the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly describe the competition settings, which have been inherited from the previous year, give background on the participating teams and tools and discuss the selected benchmarks. The benchmarks are available on the ARCH website1, as well as in the competition’s gitlab repository2 . In comparison to 2019, we have two new participating tools with novel approaches, and the results show a clear improvement over previous performances on some benchmarks.

本文言語英語
ページ(範囲)140-152
ページ数13
ジャーナルEPiC Series in Computing
74
DOI
出版ステータス出版済み - 2020
外部発表はい
イベント7th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2020 - Virual, Online
継続期間: 7月 12 20207月 12 2020

!!!All Science Journal Classification (ASJC) codes

  • コンピュータサイエンス一般

引用スタイル