TCompos: Artifact for "Compositional Verification of Timed Automata via Violation Assumptions"

This artifact accompanies the paper “Compositional Verification of Timed Automata via Violation Assumptions” (CAV 2026).

It contains a Docker image that reproduces all experiments reported in the paper. Each experiment corresponds directly to a table in the paper.

To run the artifact:

1. Load the Docker image:
   docker load -i tcompos-artifact.tar.gz

2. Run all experiments:
   docker run --rm tcompos-artifact