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 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.