Description
The Artifact for the paper Formalisation of a new weak semantics for AuDaLa, as accepted for ATVA 2024. It reproduces Table 2 of that paper, which in turn gives an indication for the correctness of Theorem 3. This version has been adapted according to the Artifact reviews from ATVA 2024.
| Date made available | 21 Aug 2024 |
|---|---|
| Publisher | Zenodo |
Cite this
- DataSetCite