Extending Concurrent Separation Logic to Enhance Modular Formalization.
Yepeng DingHiroyuki SatoPublished in: CoRR (2020)
Keyphrases
- derivation rules
- logical framework
- formal logic
- proof theory
- modal logic
- data sets
- predicate logic
- digital circuits
- operational semantics
- classical logic
- theorem proving
- logic programming
- expert systems
- real time
- formal semantics
- automated reasoning
- formal model
- knowledge representation
- epistemic logic
- bayesian networks
- modular structure
- case study
- modular neural networks