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.

For the latest version, please refer to the TCompos GitHub repository.

To run the artifact:

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

2. Run the container:
   docker run -it tcompos-artifact

3. Run the artifact with a selected experiment (`ex1` to `ex6`), or run it without arguments to execute all experiments sequentially:
   ./run.sh <optional_argument>