Welcome on AltaRica webpage

AltaRica is a modelling language designed by LaBRI and industrial companies ten 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.

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

The AltaRica Team