ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics

Abstract

We present the results of a friendly competition for formal verification of continuous and hybrid systems with nonlinear continuous dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2017. This year, three tools CORA, Flow* and Isabelle/HOL (in alphabetic order) participated… (More)

5 Figures and Tables

Topics

  • Presentations referencing similar topics