Le projet arc est un outil en ligne de commande permettant d'analyser des systèmes modélisés à l'aide du langage AltaRica. Il intègre des compilateurs pour d'autres langages et un model-checker basé sur une ancienne package appelée altatools.