vix.ing · top · new · best · stats · spec

Ritam Ganguly

  1. Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols
    2022/04/20 by Ritam Ganguly, Yingjie Xuey, Ganguly, Ritam +11 · 1 citation
    Computer Science · #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic, programming, and type systems #Parallel #and Cluster Computing (cs.DC)