Login / Signup
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