Planned intervention: On Wednesday June 26th 05:30 UTC Zenodo will be unavailable for 10-20 minutes to perform a storage cluster upgrade.
Published January 4, 2023 | Version v2
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:1571de8188a2af52a6de8357dd5731d5
843.4 MB Download