There is a newer version of the record available.

Published January 4, 2023 | Version v1
Software Open

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

  • 1. Eindhoven University of Technology
  • 2. Royal Holloway University of London

Description

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.

Files

Files (843.4 MB)

Name Size Download all
md5:2017a36fcd3ddf91aff9931b3a327bb7
843.4 MB Download