AltaRica Project

MEthods and Tools for AltaRica Language

Main menu

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

Category Archives: Uncategorized

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

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.

My settings
Privacy SettingsAccept our cookies

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

Save my settings