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