There is a newer version of the record available.

Published August 21, 2024 | Version Post-review version
Software Open

Artifact - Formalisation of a new weak semantics for AuDaLa

Creators

  • 1. ROR icon 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

Files (490.9 MB)

Additional details

Software

Programming language
Shell, Java, Dockerfile