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
- 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.