You can now use your favorite AltaRica model checker ARC and its companion GUI altarica-studio using Docker. See the details on the Downloads page.
Author Archives: altarica
New release of AltaRica Checker 1.6
ARC 1.6 is now available. We have stabilize the tool after a long period of little increments. Several bugs have alse been fixed. Finally, ARC handbook has been upgraded to match last changes.
This release integrates a new tool: Monte-Carlo simulation. Using the well-known extern clause of nodes, you can decorate the model with stochastic informations. Then, the command sas permits to simulates the model according to specified parameters (duration, number of stories, number of threads, …).
AltaRica Website is back
After two weeks of maintenance due to a cyber-attack, our website is back.
The whole service should completely available at the end of the week.
If you encounter any problem, do not hesitate to contact us.
AltaRica on RTS Swiss Radio
AltaRica project leader A. Griffault gaves an interview on the usefulness of formal languages, like AltaRica, in the design of critical systems. Listen the interview podcast.