## Artifact for Submission 172:

### Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers

- Checklist
- Tool
- Documentation
- Tutorial
- Experiments

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

### The artifact includes:

#### 1. Tool

- The source code.
- The executable binaries.
- An installation guide.

#### 2. Documentation

- A document briefly describing the design of PAT.
- A programmer's guide automatically generated from source code.

#### 3. Tutorial

- A brief tutorial.

#### 4. Experiments

- The set of benchmarks used in the paper.
- A guide and batch script to reproduce the experiments.
- A batch script to post-process the experimental results, to extract runtimes, etc.