Message-Passing Algorithms for the Verification of Distributed Protocols.

Log Jezequel, Javier Esparza

Browse the full VMCAI paper archive.