Formal Foundations for Translational Separation Logic Verifiers (extended version).
Thibault DardinierMichael SammlerGaurav ParthasarathyAlexander J. SummersPeter MüllerPublished in: CoRR (2024)
Keyphrases
- artificial intelligence
- modal logic
- formal language
- logic programming
- derivation rules
- proof theory
- mathematical theory
- ctl model update
- highly expressive
- data sets
- formal representation
- formal descriptions
- computational logic
- predicate logic
- model theoretic
- image formation
- description logics
- knowledge representation
- optical flow
- case study
- genetic algorithm