Docker images

We have created Docker images that permit to launch ARC and altarica-studio from containers on Linux and Mac OS (Windows platform has not been tested). Simply download nightly built tarball, uncompress it and make the script directory/of/arc/sources/docker/run-altarica.bash (or download it directly with this link) available using your PATH environment variable. Then you can use ths script to run the tools from your current directory; an option permits to specify the tool to launch.

$ run-altarica.bash -h
USAGE: run-altarica.bash [options]
where options are:
  -a | --arc  run arc model-checker
  -g | --gui  run altarica-studio GUI
  -h | --help  print this help message

AltaRica Checker (ARC)

ARC is an open-source project. Sources of this tools can be obtained using either version control tool GIT tool or by downloading  a tarball archive of sources. Usually the later method is preferred by non-developer users.

Available ARC packages

In addition to stable releases of ARC we propose a current release built every night that correspond to the master branch of the future release.

• Nightly built packages: arc-current.tar.gz
• Last stable release of ARC: arc-stable.tar.gz

GIT Access

Source code is also available via our version control system (GIT):

1. Using the HTTP protocol, sources are freely available for read only access:

   git clone https://gitub.u-bordeaux.fr/altarica/arc.git
   

2. Using a SSH authorized access, the repository is accessible for read and write synchronizations:

   git clone git@gitub.u-bordeaux.fr:altarica/arc.git

You can follow developments on the GitLab forge of the University of Bordeaux.