Modular verification of op-based CRDTs in separation logic.
Abel NietoLéon GondelmanAlban ReynaudAmin TimanyLars BirkedalPublished in: Proc. ACM Program. Lang. (2022)
Keyphrases
- asynchronous circuits
- verification method
- model checking
- model checker
- derivation rules
- modal logic
- linear time temporal logic
- formal verification
- logic programming
- temporal logic
- bounded model checking
- multi valued
- sound and complete axiomatization
- delay insensitive
- proof theory
- epistemic logic
- abductive reasoning
- digital circuits
- computational properties
- classical logic
- automated reasoning
- formal methods
- programming language