Certificates and Separation Logic.
Martin NordioCristiano CalcagnoBertrand MeyerPublished in: TGC (2013)
Keyphrases
- access control
- modal logic
- multi valued
- classical logic
- proof theory
- information systems
- multi agent
- programming language
- logic programming
- predicate logic
- deontic logic
- sound and complete axiomatization
- real world
- propositional dynamic logic
- dynamic logic
- asynchronous circuits
- abductive reasoning
- artificial intelligence
- machine learning