Published August 21, 2024
| Version Post-review version
Software
Open
Artifact - Formalisation of a new weak semantics for AuDaLa
Authors/Creators
-
1.
Eindhoven University of Technology
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.
Files
Artifact - Formalisation of a new weak semantics for AuDaLa.zip
Additional details
Software
- Programming language
- Shell , Java , Dockerfile