Information Flow Guided Synthesis.

Bernd Finkbeiner Niklas Metzger Yoram Moses

Published in: CAV (2) (2022)

Keyphrases

information flow
flow analysis
social networks
information flows
communication networks
flow graph
information security
supply chain
functional modules
multi threaded
real world
data analysis
information technology
multi context systems