COVERN: A Logic for Compositional Verification of Information Flow Control.
Toby C. MurrayRobert SisonKai EngelhardtPublished in: EuroS&P (2018)
Keyphrases
- information flow control
- asynchronous circuits
- verification method
- model checking
- model checker
- modal logic
- bounded model checking
- information flow
- linear time temporal logic
- classical logic
- predicate logic
- formal methods
- temporal logic
- epistemic logic
- delay insensitive
- face verification
- logic programming
- formal verification
- multi agent systems
- multi valued
- automated reasoning