Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions.
Stefan HeuleIoannis T. KassiosPeter MüllerAlexander J. SummersPublished in: ECOOP (2013)
Keyphrases
- high level
- model checking
- propositional dynamic logic
- modal logic
- third party
- user defined
- expressive power
- access control
- basis functions
- sufficient conditions
- epistemic logic
- bounded model checking
- abstraction hierarchy
- low level
- search algorithm
- cd rom
- face verification
- generation process
- signature verification
- data abstraction
- hardware designs
- reinforcement learning