Model Checking Distributed Software Systems

Explore the challenges and advancements in model checking distributed software systems in this 31-minute conference talk presented at the PODELSKI workshop. Gain insights into the Must project, a state space exploration tool for distributed systems written in Rust. Learn about recent technical advances that enable scaling to large state spaces and understand the difficulties of implementing modeling and model checking in industrial settings. Discover why software model checking of large-scale implementations remains an open problem in the field of computer science. Presented by Rupak Majumdar from MPI-SWS, this talk offers valuable knowledge for researchers and practitioners interested in software verification and distributed systems.