README 352 Bytes
Newer Older
Point Gerald's avatar
Point Gerald committed
1
2
ARC is the AltaRica Checker
===========================
point's avatar
point committed
3

point's avatar
point committed
4
5
This program is a command-line based tool that can be used to analyze systems
modelled using the AltaRica language.
point's avatar
point committed
6

point's avatar
point committed
7
8
This software integrates some compilers to other languages and a model-checker
base on an older package called altatools.
point's avatar
point committed
9

Point Gerald's avatar
Point Gerald committed
10
11
Please report any bugs to altarica@groupes.renater.fr