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:
ICDCS (2022)
Keyphrases
</>
knowledge based systems
temporal properties
formal methods
model checking
distributed systems
temporal logic
artificial intelligence
cooperative
distributed environment
multi party
cryptographic protocols
multi agent
formal specification
object oriented
possibility theory
commit protocols