Artifact for Submission 172:

Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers

Proofs and additional examples

Proofs to non-critical lemmas and theorems, as well as examples, that are not included in our submission can be downloaded from here.