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

Tag Archives: Tools

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.

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