Model Checking the Information Flow Security of Real-Time Systems.
Christopher GerkingDavid SchubertEric BoddenPublished in: ESSoS (2018)
Keyphrases
- information flow
- real time systems
- model checking
- reactive systems
- timed automata
- information security
- temporal logic
- real time
- model checker
- formal specification
- distributed systems
- formal verification
- verification method
- embedded systems
- automated verification
- social networks
- communication networks
- symbolic model checking
- supply chain
- computation tree logic
- transition systems
- artificial intelligence
- temporal properties
- epistemic logic
- formal methods
- information systems
- bounded model checking