Skip to primary content
Skip to secondary content

AltaRica Project

MEthods and Tools for AltaRica Language

Main menu

  • Home
  • News
  • AltaRica Language
    • History and dialects
    • AltaRica at a Glance
    • Examples
  • Tools
    • ARC
    • AltaRica Studio
  • Publications
  • Support
    • Manuals
    • FAQ
  • Downloads
  • Team

Author Archives: altarica

New release of AltaRica Checker 1.7

Posted on February 9, 2021 by altarica

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

Download ARC 1.7 here.

Posted in Tools, Updates

ARC is now available using Docker

Posted on December 3, 2020 by altarica

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.

Posted in Uncategorized | Tagged ARC, Docker, Tools

AltaRica Website is back

Posted on February 27, 2017 by altarica

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.

The AltaRica Team

Posted in Updates

AltaRica on RTS Swiss Radio

Posted on May 17, 2013 by altarica

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.

Posted in Medias

Last news

  • New release of AltaRica Checker 1.7
  • ARC is now available using Docker
  • AltaRica Website is back
  • AltaRica on RTS Swiss Radio

This site uses functional cookies and external scripts to improve your experience.

Privacy settings

Privacy Settings

This site uses functional cookies and external scripts to improve your experience. Which cookies and scripts are used and how they impact your visit is specified on the left. You may change your settings at any time. Your choices will not impact your visit.

NOTE: These settings will only apply to the browser and device you are currently using.

Accept our cookies

Powered by Cookie Information