Since one decade the LaBRI develops AltaRica, a language designed to model both functional and dysfunctional behaviours of critical systems. Have a look at this page for an overview of the different stages of the AltaRica project. Publications related to AltaRica are available in the Documents tab.

The aim of the AltaRica project is to develop tools for the analysis of the AltaRica language. These tools are mainly model-checkers
ARC and MEC.

Several others projects not directly related to AltaRica are developed:

  • FASTer is a model-checker for the analysis of systems with infinite state-spaces. The tool was created at LSV (the page of the tool is here) but it is now maintained at LaBRI.
  • TaPAS is a suite of tools for the manipulation of sets described by Presburger arithmetic formulas. TaPAS contains several libraries like: GENEPI, SATAF/PresTAF, Alambic and Armoise.
  • CCL a library that gathers many routines used by others tools.
  • ARsyntax the parser for the AltaRica language (the one used by the ARC tool).

Our software are all freely available under Public licenses (AltaRica Public License or LGPL). See the tab Download for details on how to get them.

You can find recent events or news related to the project here.