ARCH-COMP18 Category Report: Results on the Falsification Benchmarks

6 pages•Published: September 17, 2018

Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos, Gidon Ernst, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo and Sean Sedwards

Abstract

This report presents the outcomes of the 2018 friendly competition in the ARCH workshop for the category of falsification of temporal logic specifications over Cyber-Physical Systems.

In: Goran Frehse (editor). ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, vol 54, pages 104-109.

Links:	https://easychair.org/publications/paper/HjJ8
	https://doi.org/10.29007/t85q

BibTeX entry

@inproceedings{ARCH18:ARCH_COMP18_Category_Report,
  author    = {Adel Dokhanchi and Shakiba Yaghoubi and Bardh Hoxha and Georgios Fainekos and Gidon Ernst and Zhenya Zhang and Paolo Arcaini and Ichiro Hasuo and Sean Sedwards},
  title     = {ARCH-COMP18 Category Report: Results on the Falsification Benchmarks},
  booktitle = {ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse},
  series    = {EPiC Series in Computing},
  volume    = {54},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/HjJ8},
  doi       = {10.29007/t85q},
  pages     = {104-109},
  year      = {2018}}

Download PDF Open PDF in browser