Artifact of Knor: reactive synthesis using Oink
doi:10.4121/8794d8c0-5959-42f9-ba34-68f2137145a7.v1
The doi above is for this specific version of this dataset, which is currently the latest. Newer versions may be published in the future.
For a link that will always point to the latest version, please use
doi: 10.4121/8794d8c0-5959-42f9-ba34-68f2137145a7
doi: 10.4121/8794d8c0-5959-42f9-ba34-68f2137145a7
Datacite citation style:
van Dijk, Tom (2023): Artifact of Knor: reactive synthesis using Oink. Version 1. 4TU.ResearchData. software. https://doi.org/10.4121/8794d8c0-5959-42f9-ba34-68f2137145a7.v1
Other citation styles (APA, Harvard, MLA, Vancouver, Chicago, IEEE) available at Datacite
Software
licence
GPL-3.0
by
Tom van Dijk
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.
history
- 2023-11-09 first online, published, posted
publisher
4TU.ResearchData
funding
- PIGGY: Reasoning using tangles on parity games (grant code 893732) [more info...] European Union Horizon 2020 MSCA Individual Fellowship
organizations
University of Twente, Formal Methods and Tool group
DATA
To access the source code, use the following command:
git clone https://data.4tu.nl/v3/datasets/56144303-c2b3-49f8-8380-d094c6dd5473.git
