Separating Separation Logic - Modular Verification of Red-Black Trees.
Gerhard SchellhornStefan BodenmüllerMartin BitterlichWolfgang ReifPublished in: VSTTE (2022)
Keyphrases
- asynchronous circuits
- verification method
- model checking
- decision trees
- model checker
- derivation rules
- linear time temporal logic
- temporal logic
- modal logic
- bounded model checking
- classical logic
- data structure
- formal verification
- predicate logic
- epistemic logic
- tree structure
- logic programming
- deontic logic
- tree models
- connected components
- digital circuits
- face verification
- proof theory
- signature verification
- concurrent systems
- formal methods
- data sets