Formal Verification of a Message-Passing Protocol with Model Checking.

Arthur Lin, Fuyau Lin

Browse the full SEKE paper archive.