Artifact for Submission 172:

Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers


For quick reference, the paper submission accompanied by this artifact can be found here.

The artifact includes:

1. Tool

2. Documentation

3. Tutorial

4. Experiments