Welcome on AltaRica webpage

AltaRica is a modelling language designed by LaBRI and industrial companies two decades years ago. On this website you will find informations related to this language, but also software and methodological tools for its analysis.

Our open source tools (ARC, AltaRica Studio) are developed by members of MF/MV team of LaBRI whose main concerns are the design of validation and model-checking techniques. The tools are freely available here.

AltaRica tools are freely available under AltaRica Public License (a BSD-like license).

The AltaRica Team