Skip to primary 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

Post navigation

← Previous Next →

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.

This entry was posted in Uncategorized and tagged ARC, Docker, Tools by altarica. Bookmark the permalink.

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