Replication package for the paper "Compositional Automata Learning of Synchronous Systems"

This artifact package allows replication of the results in the paper "Compositional Automata Learning of Synchronous Systems" accepted for publication at FASE2023. It contains the source code of the tool Coal, as well as experimental files and scripts to run the experiments. Dependencies required to install the artifact in the FASE2023 virtual machine (https://doi.org/10.5281/zenodo.7446277) are included.