Towards the Automated Verification of Publish/Subscribe Networks.

Giorgio Delzanno

Published in: OVERLAY@AI*IA (2019)

Keyphrases

publish subscribe
automated verification
model checking
publish subscribe systems
event driven
loosely coupled
automated reasoning
back end
overlay network
formal verification
social networks
peer to peer
computer networks
network structure
information dissemination
real time
complex networks
data structure