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
Source code is also available via our version control system (GIT):
- Using the HTTP protocol, sources are freely available for read only access:
git clone https://gitub.u-bordeaux.fr/altarica/arc.git
- Using a SSH authorized access, the repository is accessible for read and write synchronizations:
git clone email@example.com:altarica/arc.git
You can follow developments on the GitLab forge of the University of Bordeaux.