Ritam Ganguly, Yingjie Xue, Aaron Jonckheere, Parker Ljung, Benjamin Schornstein, Borzoo Bonakdarpour, Maurice Herlihy. Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols. In 42nd IEEE International Conference on Distributed Computing Systems, ICDCS 2022, Bologna, Italy, July 10-13, 2022. pages 23-33, IEEE, 2022. [doi]
Abstract is missing.