Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers (Extended Manuscript).

Peizun Liu Thomas Wahl Akash Lal

Published in: CoRR (2019)

Keyphrases

event driven
state machines
publish subscribe
markup language
information delivery
real time
database
data sets
databases
low level
source code
programming environment