Junfu Luo

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Temporal Properties

Mutual Exclusion

Artifact Centric

Top Venues

Publications

Junfu Luo, Jiaqi Yin, Huibiao Zhu
MEA: A Framework for Model Checking of Mutual Exclusion Algorithms Focusing on Atomicity. PDCAT (2022)