Login / Signup
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
Published in:
CoRR (2022)
Keyphrases
</>
temporal properties
model checking
formal methods
temporal logic
distributed systems
multi party
possibility theory
distributed environment
cryptographic protocols
multi agent
formal specification
cooperative
commit protocols
resource allocation
peer to peer
relational databases
expert systems