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: 596 updates, 74 adds)
Project Members
Click to toggle
[8] Uninitialized string offset: 0 (/opt/gforge/common/include/gettext.php at 67)
[8] Uninitialized string offset: 1 (/opt/gforge/common/include/gettext.php at 67)