Formal Verification of a Mixed-Trust Synchronization Protocol.

Ruben Martins, Michael McCall, Dionisio de Niz, Amit Vasudevan, Bjrn Andersson, Mark Klein, John P. Lehoczky, Hyoseung Kim

Browse the full RTNS paper archive.