This year, the “Distinguished Artifact Award” of FM, the flagship conference on formal methods, went to Davide Basile and Maurice ter Beek (FMT Lab), and José Proença (University of Porto, Portugal). The artifact, called A-Team, accompanies their paper, entitled “Asynchronous Team Automata”, which they presented at the 27th International Symposium on Formal Methods (FM 2026), held in Tokyo, Japan, May 18-22.

The A-Team tool supports the specification, animation, and automated verification (both well-formedness and well-behavedness checks) of asynchronous team automata.