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.