Merlin: specification inference for explicit information flow problems.

V. Benjamin Livshits Aditya V. Nori Sriram K. Rajamani Anindya Banerjee

Published in: PLDI (2009)

Keyphrases

information flow
flow analysis
information systems
reactive systems
inference mechanism
information flows