Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols.

Ritam Ganguly, Yingjie Xue, Aaron Jonckheere, Parker Ljung, Benjamin Schornstein, Borzoo Bonakdarpour, Maurice Herlihy

Browse the full ICDCS paper archive.