ARCH-COMP22 Category Report: Hybrid Systems Theorem Proving

19 pages•Published: December 13, 2022

Stefan Mitsch, Bohua Zhan, Huanhuan Sheng, Alexander Bentkamp, Xiangyu Jin, Shuling Wang, Simon Foster, Christian Pardillo Laursen and Jonathan Julián Huerta Y Munive

Abstract

This paper reports on the Hybrid Systems Theorem Proving (HSTP) category in the
ARCH-COMP Friendly Competition 2022. The characteristic features of the HSTP cate- gory remain as in the previous editions [MST+18, MST+19, MMJ+20], it focuses on flexi- bility of programming languages as structuring principles for hybrid systems, unambiguity and precision of program semantics, and mathematical rigor of logical reasoning principles. The benchmark set includes nonlinear and parametric continuous and hybrid systems and hybrid games, each in three modes: fully automatic verification, semi-automatic verifica- tion from proof hints, proof checking from scripted tactics. This instance of the competition focuses on presenting the differences between the provers on a subset of the benchmark examples.

Keyphrases: formal verification, hybrid games, hybrid systems, nonlinear systems, theorem proving, tools

In: Goran Frehse, Matthias Althoff, Erwin Schoitsch and Jeremie Guiochet (editors). Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), vol 90, pages 185-203.

Links:	https://easychair.org/publications/paper/JB8Q
	https://doi.org/10.29007/4lxf

BibTeX entry

@inproceedings{ARCH22:ARCH_COMP22_Category_Report,
  author    = {Stefan Mitsch and Bohua Zhan and Huanhuan Sheng and Alexander Bentkamp and Xiangyu Jin and Shuling Wang and Simon Foster and Christian Pardillo Laursen and Jonathan Julián Huerta Y Munive},
  title     = {ARCH-COMP22 Category Report: Hybrid Systems Theorem Proving},
  booktitle = {Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)},
  editor    = {Goran Frehse and Matthias Althoff and Erwin Schoitsch and Jeremie Guiochet},
  series    = {EPiC Series in Computing},
  volume    = {90},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/JB8Q},
  doi       = {10.29007/4lxf},
  pages     = {185-203},
  year      = {2022}}

Download PDF Open PDF in browser