Description
This is a reproducibility package for the paper "AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences" to appear in TASE'22.
| Date made available | 2022 |
|---|---|
| Publisher | Zenodo |
Reproducibility package for: AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences
- Kim Guldstrand Larsen (Contributor)
- Anders Mariegaard (Contributor)
- Stefan Schmid (Contributor)
- Jiri Srba (Contributor)
Dataset