Login / Signup

A Case Study in Information Flow Refinement for Low Level Systems.

Roberto GuancialeChristoph BaumannPablo BuirasMads DamHamed Nemati
Published in: The Logic of Software. A Tasting Menu of Formal Methods (2022)
Keyphrases
  • information flow
  • low level
  • high level
  • flow analysis
  • supply chain
  • distributed systems
  • communication networks
  • reactive systems
  • real world
  • data model
  • information security
  • information flows
  • flow graph