Compiling Distributed System Models with PGo
Finn Hackett, Shayan Hosseini, Renato Lopes Da Costa, Matthew Do, Ivan Beschastnikh · 2023
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 key challenge in this domain is the missing link between the formal design of a system and its implementation. Today, practitioners bridge this link through manual effort.