F Hackett,
S Hosseini, R Costa, M Do… - Proceedings of the 28th …, 2023 - dl.acm.org
Distributed systems are difficult to design and implement correctly. In response, both
research and industry are exploring applications of formal methods to distributed systems. A …