Artifact of Knor: reactive synthesis using Oink

Dataset

Description

This is the artifact belonging to the paper Knor: reactive synthesis using Oink. The artifact requires the Virtual Machine of TACAS23 obtainable via https://zenodo.org/doi/10.5281/zenodo.7113222 For information on using the artifact, consult the README files.
Date made available9 Nov 2023
Publisher4TU.Centre for Research Data

Cite this