Data

Tools

Indexes

Applications

Experiments

Open Source Science

arch2021_aff_re

Repeatability evaluation package for the ARCH2021 AFF competition

https://github.com/juliareach/arch2021_aff_re

Science Score: 57.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ✓
    CITATION.cff file
    Found CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ✓
    .zenodo.json file
    Found .zenodo.json file
  • ✓
    DOI references
    Found 3 DOI reference(s) in README
  • ○
    Academic publication links
  • ○
    Committers with academic emails
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (16.0%) to scientific vocabulary
Last synced: 10 months ago · JSON representation ·

Repository

Repeatability evaluation package for the ARCH2021 AFF competition

Basic Info
  • Host: GitHub
  • Owner: JuliaReach
  • License: mit
  • Language: Julia
  • Default Branch: main
  • Size: 1.65 MB
Statistics
  • Stars: 0
  • Watchers: 3
  • Forks: 0
  • Open Issues: 0
  • Releases: 0
Created almost 5 years ago · Last pushed over 2 years ago
Metadata Files
Readme License Citation

README.md

ARCH2021 AFF

This is the JuliaReach repeatability evaluation (RE) package for the ARCH-COMP 2021 category report: Continuous and Hybrid Systems with Linear Continuous Dynamics of the 5th International Competition on Verifying Continuous and Hybrid Systems (ARCH-COMP '21).

To cite the work, you can use:

@inproceedings{AlthoffAFFFSSW21, author = {Matthias Althoff and Erika {\'{A}}brah{\'{a}}m and Marcelo Forets and Goran Frehse and Daniel Freire and Christian Schilling and Stefan Schupp and Mark Wetzlinger}, editor = {Goran Frehse and Matthias Althoff}, title = {{ARCH-COMP21} Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics}, booktitle = {{ARCH}}, series = {EPiC Series in Computing}, volume = {80}, pages = {1--31}, publisher = {EasyChair}, year = {2021}, url = {https://doi.org/10.29007/lhbw}, doi = {10.29007/lhbw} }

Installation

Note: Running the full benchmark suite should take no more than one hour with a reasonable internet connection (may take longer otherwise).

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:

shell $ git clone https://github.com/JuliaReach/ARCH2021_AFF.git $ cd ARCH2021_AFF

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

shell $ julia startup.jl to run all the benchmarks. After 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:

shell $ ./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:

```shell $ 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.

Owner

  • Name: JuliaReach
  • Login: JuliaReach
  • Kind: organization

Reachability Computations for Dynamical Systems in Julia

Citation (CITATION.bib) 

@inproceedings{AlthoffAFFFSSW21,
  author    = {Matthias Althoff and
               Erika {\'{A}}brah{\'{a}}m and
               Marcelo Forets and
               Goran Frehse and
               Daniel Freire and
               Christian Schilling and
               Stefan Schupp and
               Mark Wetzlinger},
  editor    = {Goran Frehse and
               Matthias Althoff},
  title     = {{ARCH-COMP21} Category Report: Continuous and Hybrid Systems with
               Linear Continuous Dynamics},
  booktitle = {{ARCH}},
  series    = {EPiC Series in Computing},
  volume    = {80},
  pages     = {1--31},
  publisher = {EasyChair},
  year      = {2021},
  url       = {https://doi.org/10.29007/lhbw},
  doi       = {10.29007/lhbw}
}

GitHub Events

Total
Last Year

Committers

Last synced: over 1 year ago

All Time
  • Total Commits: 3
  • Total Committers: 2
  • Avg Commits per committer: 1.5
  • Development Distribution Score (DDS): 0.333
Past Year
  • Commits: 1
  • Committers: 1
  • Avg Commits per committer: 1.0
  • Development Distribution Score (DDS): 0.0
Top Committers
Name Email Commits
schillic g****t@c****t 2
Christian Schilling a****t@c****t 1
Committer Domains (Top 20 + Academic)
christianschilling.net: 2

Issues and Pull Requests

Last synced: about 1 year ago

All Time
  • Total issues: 0
  • Total pull requests: 0
  • Average time to close issues: N/A
  • Average time to close pull requests: N/A
  • Total issue authors: 0
  • Total pull request authors: 0
  • Average comments per issue: 0
  • Average comments per pull request: 0
  • Merged pull requests: 0
  • Bot issues: 0
  • Bot pull requests: 0
Past Year
  • Issues: 0
  • Pull requests: 0
  • Average time to close issues: N/A
  • Average time to close pull requests: N/A
  • Issue authors: 0
  • Pull request authors: 0
  • Average comments per issue: 0
  • Average comments per pull request: 0
  • Merged pull requests: 0
  • Bot issues: 0
  • Bot pull requests: 0
View more stats
Top Authors
Issue Authors
Pull Request Authors
Top Labels
Issue Labels
Pull Request Labels

Dependencies

Dockerfile docker
  • julia 1.6.0 build