Login / Signup

SAT-Based Analysis and Quantification of Information Flow in Programs.

Vladimir KlebanovNorbert MantheyChristian J. Muise
Published in: QEST (2013)
Keyphrases
  • information flow
  • flow analysis
  • information systems
  • decision making
  • social networks
  • markov chain
  • constraint satisfaction