ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics


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


  • Presentations referencing similar topics