Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers.

Peizun Liu, Thomas Wahl, Akash Lal

Browse the full CAV paper archive.