Model Checking Information Flow in Reactive Systems.
Rayna DimitrovaBernd FinkbeinerMáté KovácsMarkus N. RabeHelmut SeidlPublished in: VMCAI (2012)
Keyphrases
- reactive systems
- information flow
- model checking
- transition systems
- temporal logic
- social networks
- communication networks
- information security
- supply chain
- computation tree logic
- symbolic model checking
- temporal properties
- model checker
- automated verification
- finite state machines
- formal verification
- timed automata
- formal methods