Epistemic model checking of distributed commit protocols with byzantine faults.
Omar I. Al-BatainehMark ReynoldsPublished in: FormaliSE@ICSE (2019)
Keyphrases
- model checking
- commit protocols
- computation tree logic
- epistemic logic
- temporal logic
- temporal epistemic
- fault tolerant
- distributed databases
- distributed database systems
- formal verification
- temporal properties
- symbolic model checking
- formal specification
- bounded model checking
- transaction processing
- model checker
- automated verification
- timed automata
- verification method
- formal methods
- distributed systems
- distributed environment
- cooperative
- alternating time temporal logic
- artificial intelligence
- multi faceted
- databases
- planning domains
- modal logic
- software engineering