Published February 2, 2026 | Version v1
Software Open

Compositional Design, Implementation, and Verification of Swarms: Artifact

Authors/Creators

  • 1. ROR icon Technical University of Denmark
  • 2. ROR icon University of Surrey
  • 3. ROR icon University of Buenos Aires
  • 4. ROR icon Gran Sasso Science Institute

Description

Artifact Submission

Title of paper: Compositional Design, Implementation, and Verification of Swarms

ECOOP submission number for paper: #44

Our paper presents theory and techniques for the compositional specification, implementation and verification of swarm protocols, and for the composition of swarms.

This artifact comprises a Docker image containing:

  • our custom open-source extension of the Actyx toolkit supporting the theory presented in the paper,
  • scripts to reproduce the experimental results presented in the paper,
  • and several example swarms implemented using our tool. The swarms can be executed and their source code can be edited.

To run the artifact please download swarm-artifact.tar.gz, extract its contents and follow the README in the extracted archive. 

Files

Files (1.4 GB)

Name Size Download all
md5:60eca8ce94f8dbe89f8c47fb92ab36ac
1.4 GB Download