A-Team artefact

This software artefact accompanies a paper entitled "Asynchronous Team Automata", accepted at FM 2026 symposium. This tool is web-based, compiled to JavaScript, and can be executed by opening a provided HTML file that loads a companion JavaScript file. The tool is developed in Scala and uses our CAOS libraries (https://github.com/arcalab/CAOS).

The A-Team tool can load an input program, describing a network of communicating processes, present graphical step-by-step animations, perform traversals of the full state-space, and perform some static analysis (e.g., type checking and search for undesirable states).

The latest version of all source code can be found online at https://www.github.com/fm-dcc/a-team, and a snapshot of the tool can be immediately loaded by opening the site https://fm-dcc.github.io/a-team. This version in Zenodo provides a snapshot of the tool from Github with extra instructions to help compiling and relating to the companion paper.