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.

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
  2. Using a SSH authorized access, the repository is accessible for read and write synchronizations:
    git clone

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