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:
|64-bit Windows 10||artifact.zip|