Artifact for Submission 172:

Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers


Remark:

Due to the Windows license limitation, we did not prepare our artifact in a virtual machine. Instead, we prepare it as a normal tarball with detailed instruction.

Please download the artifact via the following link:

Platform Download
64-bit Windows 10 artifact.zip