ARCH-COMP18 Repeatability Evaluation Report

Taylor T. Johnson

doi:10.29007/n9t3

Download PDF Open PDF in browser

ARCH-COMP18 Repeatability Evaluation Report

7 pages•Published: September 17, 2018

Taylor T. Johnson

Abstract

This report presents the results of the repeatability evaluation for the 2nd International Competition on Verifying Continuous and Hybrid Systems (ARCH-COMP'18). The competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2018. In its second edition, twenty-five tools submitted artifacts for the repeatability evaluation and applied to solve benchmark problems for seven competition categories. The repeatability results represent a snapshot of the current landscape of tools and the types of benchmarks for which they are particularly suited and for which others may repeat their analyses. Due to the diversity of problems in verification of continuous and hybrid systems, as well as basing on standard practice in repeatability evaluations, we evaluate the tools with pass and/or failing being repeatable.

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

Links:	https://easychair.org/publications/paper/9J6v
	https://doi.org/10.29007/n9t3

BibTeX entry

@inproceedings{ARCH18:ARCH_COMP18_Repeatability_Evaluation_Report,
  author    = {Taylor T. Johnson},
  title     = {ARCH-COMP18 Repeatability Evaluation Report},
  booktitle = {ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse},
  series    = {EPiC Series in Computing},
  volume    = {54},
  pages     = {128--134},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/9J6v},
  doi       = {10.29007/n9t3}}

Download PDF Open PDF in browser