On Verifying TSO Robustness for Event-Driven Asynchronous Programs.

Ahmed Bouajjani Constantin Enea Madhavan Mukund Rajarshi Roy

Published in: NETYS (2018)

Keyphrases

event driven
information delivery
real time
publish subscribe
event streams
markup language
automatic programming