Model-Checking Bisimulation-Based Information Flow Properties for Infinite State Systems.
Deepak D'SouzaK. R. RaghavendraPublished in: ESORICS (2012)
Keyphrases
- model checking
- information flow
- reactive systems
- temporal properties
- automated verification
- temporal logic
- finite state machines
- formal methods
- model checker
- symbolic model checking
- formal verification
- distributed systems
- reachability analysis
- artifact centric
- transition systems
- finite state
- process algebra
- concurrent systems
- bounded model checking
- asynchronous circuits
- verification method
- social networks
- formal specification
- information flows
- linear temporal logic
- satisfiability problem
- decision making