Home My Page Projects Code Snippets Project Openings The AltaRica Project
Summary Activity SCM Listes Sympa Mantis

Project description

AltaRica is a description language used to model critical systems. ARC, the AltaRica Checker, is a toolbox gathering several algorithms for the analysis of AltaRica models:
- a model-checking algorithm based on BDDs for several logics: Dicky's logic, Mu-Calculcus, CTL*.
- a stochastic simulator
- a cuts/sequence generators
- a small graphical simulator

Public Tools
SCM Repository (Git: 635 updates, 84 adds)
Project Members