Formal Verification of Concurrent Algorithms: Case Studies on Mutual Exclusion. - Naoki Nishiguchi; Tatsuhiro Tsuchiya (PRDC, 2023)