Ruben Martins, Michael McCall, Dionisio de Niz, Amit Vasudevan, Björn Andersson, Mark Klein, John P. Lehoczky, Hyoseung Kim. Formal Verification of a Mixed-Trust Synchronization Protocol. In Audrey Queudet, Iain Bate, Giuseppe Lipari, editors, RTNS'2021: 29th International Conference on Real-Time Networks and Systems, Nantes, France, April 7-9, 2021. pages 57-67, ACM, 2021. [doi]
Abstract is missing.