1 paper
Seyed Armin Vakil Ghahani, Manos Kapritsos
Distributed systems are hard to implement correctly, and subtle bugs can go undetected using traditional testing. Formal verification offers an alternative for proving the correctn…