Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2204.09796
Cited By
Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols
20 April 2022
R. Ganguly
Yingjie Xue
Aaron Jonckheere
Parker Ljung
Benjamin Schornstein
Borzoo Bonakdarpour
Maurice Herlihy
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols"
1 / 1 papers shown
Title
Stream-based Decentralized Runtime Verification
R. Ganguly
Borzoo Bonakdarpour
20
0
0
30 Jan 2023
1
