MEA: A Framework for Model Checking of Mutual Exclusion Algorithms Focusing on Atomicity.
Junfu LuoJiaqi YinHuibiao ZhuPublished in: PDCAT (2022)
Keyphrases
- model checking
- temporal logic
- mutual exclusion
- deterministic finite automaton
- ordered binary decision diagrams
- reachability analysis
- artifact centric
- long distance
- formal verification
- orders of magnitude
- finite state
- temporal properties
- formal specification
- symbolic model checking
- satisfiability problem
- learning algorithm
- computation tree logic