Formal Analysis of Information Flow in HOL.
Ghassen HelaliSofiène TaharOsman HasanTsvetan DunchevPublished in: SETTA (2017)
Keyphrases
- formal analysis
- information flow
- formal methods
- flow analysis
- social networks
- information flows
- knowledge based systems
- model checking
- theorem prover
- supply chain
- ban logic
- artificial intelligence
- flow graph
- formal specification
- communication networks
- reactive systems
- agent model
- multi context systems
- information security
- software engineering
- information propagation
- natural deduction
- information systems