MEA: A Framework for Model Checking of Mutual Exclusion Algorithms Focusing on Atomicity.

Junfu Luo, Jiaqi Yin, Huibiao Zhu

Browse the full PDCAT paper archive.