Redundant Orchestration Synthesis for Contract Automata with CATLib and CIF3 - Reproduction Package

This repository contains the complementary material for the artifact evaluation of the paper: "Redundant Orchestration Synthesis for Contract Automata with CATLib and CIF3", Basile D. The repository contains: the CIF3Connector tool version 1.0, available at https://github.com/contractautomataproject/CIF3Connector/releases/tag/v1.0, comprehending the source files and the jar executables, the reproduction.txt file containing instructions on how to reproduce the experiments presented in the paper, the .data automata files used in the experiments, the archive examples.zip containing the already computed .cif and .data automata to be reproduced, the video tutorial file Experiments Reproduction.mkv, providing a step-by-step guide to reproduce the experiments in the paper.