ARCH2020 NLN

This is the JuliaReach repeatability evaluation (RE) package for the ARCH-COMP 2020 category report: Continuous and Hybrid Systems with Nonlinear Dynamics of the 4th International Competition on Verifying Continuous and Hybrid Systems (ARCH-COMP '20).

To cite the work, you can use:

@inproceedings{GerettiSABCCCFF20,
  author    = {Luca Geretti and
               Julien Alexandre Dit Sandretto and
               Matthias Althoff and
               Luis Benet and
               Alexandre Chapoutot and
               Xin Chen and
               Pieter Collins and
               Marcelo Forets and
               Daniel Freire and
               Fabian Immler and
               Niklas Kochdumper and
               David P. Sanders and
               Christian Schilling},
  editor    = {Goran Frehse and
               Matthias Althoff},
  title     = {{ARCH-COMP20} Category Report: Continuous and Hybrid Systems with
               Nonlinear Dynamics},
  booktitle = {{ARCH}},
  series    = {EPiC Series in Computing},
  volume    = {74},
  pages     = {49--75},
  publisher = {EasyChair},
  year      = {2020},
  url       = {https://doi.org/10.29007/zkf6},
  doi       = {10.29007/zkf6}
}

Installation

There are two ways to install and run this RE: either using the Julia script, or using the included Dockerfile. In both cases, first clone this repository:

$ git clone https://github.com/JuliaReach/ARCH2020_NLN_RE.git
$ cd ARCH2020_NLN_RE

Using the Julia script. First install the Julia language in your system following the instructions in the Downloads page. Once you have installed Julia installed in your system, do

$ julia startup.jl

to run all the benchmarks. Afer this command has finished, the results will be stored under the folder result/results.csv and the generated plots in your working directory.

Using the Docker container. To build the container, you need the program docker. For installation instructions on different platforms, consult the Docker documentation. For general information about Docker, see this guide. Once you have installed Docker, start the measure_all script: script:

$ measure_all

The output results will be saved under the folder result/, and the generated plots will be in your working directory.

The Docker container can also be run interactively. To run it interactively, type:

$ docker run -it juliareach bash

$ julia

julia> include("startup.jl")

About this RE

This repeatability evaluation package relies on Julia's package manager, Pkg, to create an environment that can be used to exactly use the same package versions in different machines. For further instructions on creating this RE, see this wiki.