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.