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

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

R. Ganguly
Yingjie Xue
Aaron Jonckheere
Parker Ljung
Benjamin Schornstein
Borzoo Bonakdarpour
Maurice Herlihy
ArXiv (abs)PDFHTML

Papers citing "Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols"

1 / 1 papers shown
Title
Stream-based Decentralized Runtime Verification
Stream-based Decentralized Runtime Verification
R. Ganguly
Borzoo Bonakdarpour
18
0
0
30 Jan 2023