Research Progress on Distributed System Model Checking

This paper presents a comprehensive survey on the research progress of distributed system model checking, covering key techniques, methodologies, and recent advances in the field.

Recommended citation: TANG Rui-Ze, HUANG Yu, OUYANG Ling-Zhi, CHENG Qian, ZHANG Yu-Qi, MA Xiao-Xing. "Research Progress on Distributed System Model Checking." (Journal of Software)
Download Paper