Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers.

Peizun Liu Thomas Wahl Akash Lal

Published in: CAV (2) (2019)

Keyphrases

event driven
state machines
information delivery
state machine
real time
publish subscribe
model checking
computer programs
markup language
high level
low level
database
knowledge base
higher level
delay insensitive