Modular termination verification with a higher-order concurrent separation logic (Intermediate report).
Justus FasseBart JacobsPublished in: CoRR (2022)
Keyphrases
- higher order
- higher order logic
- asynchronous circuits
- lambda calculus
- rewrite systems
- model checking
- derivation rules
- verification method
- high order
- markov random field
- natural images
- epistemic logic
- active rules
- model checker
- pairwise
- logic programming
- formal verification
- predicate logic
- low order
- predicate calculus
- logical framework
- face verification
- mutual exclusion
- concurrent systems
- database systems
- signature verification
- linear time temporal logic
- programming language
- conditional random fields
- term rewriting
- linear temporal logic
- modular structure
- modal logic
- defeasible logic