ARCH-COMP 2019 Category Report: Falsification
ARCH-COMP 2019 Category Report: Falsification
复制标题
DOI：
10.29007/68dk
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
G. Ernst;Paolo Arcaini;Alexandre Donzé;Georgios Fainekos;L. Mathesen;Giulia Pedrielli;Shakiba Yaghoubi;Yoriyuki Yamagata;Zhenya Zhang
中科院分区：
文献类型：
--
作者：
G. Ernst;Paolo Arcaini;Alexandre Donzé;Georgios Fainekos;L. Mathesen;Giulia Pedrielli;Shakiba Yaghoubi;Yoriyuki Yamagata;Zhenya Zhang
本报告介绍了2019年在Cyber-Physical Systems上伪造时序逻辑规范的研讨会上的友好竞赛的结果。我们描述了比赛的组织以及它与往年的不同之处。我们给出了参与团队和工具的背景，并讨论了选定的基准和结果。这些基准测试可以在Google网站上找到，也可以在竞赛的gitlab存储库中找到。2019年竞赛的主要成果是一个共同的基准存储库，以及伪造的初始基线，以及来自多种工具的结果，这将有助于比较和跟踪未来伪造的最新技术。
This report presents the results from the 2019 friendly competition in the ARCH workshop for the falsification of temporal logic specifications over Cyber-Physical Systems. We describe the organization of the competition and how it differs from previous years. We give background on the participating teams and tools and discuss the selected benchmarks and results. The benchmarks are available on the ARCH website, as well as in the competition’s gitlab repository. The main outcome of the 2019 competition is a common benchmark repository, and an initial base-line for falsification, with results from multiple tools, which will facilitate comparisons and tracking of the state-of-the-art in falsification in the future.