Published May 10, 2022
| Version v1
Dataset
Open
Reproducibility package for: AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences
- 1. Aalborg Univeristy
- 2. Aalborg University
- 3. TU Berlin and Vienna University
Description
This is a reproducibility package for the paper "AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences" to appear in TASE'22.
Files
allsynth.zip
Files
(16.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:c070072ef43bb2e632c95dbf4c414329
|
16.6 MB | Preview Download |