Junfu Luo, Jiaqi Yin, Huibiao Zhu. MEA: A Framework for Model Checking of Mutual Exclusion Algorithms Focusing on Atomicity. In Hiroyuki Takizawa, Hong Shen 0001, Toshihiro Hanawa, Jong Hyuk Park, Hui Tian, Ryusuke Egawa, editors, Parallel and Distributed Computing, Applications and Technologies - 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings. Volume 13798 of Lecture Notes in Computer Science, pages 387-398, Springer, 2022. [doi]
Abstract is missing.