Decentralized Runtime Verification for LTL Properties Using Global Clock

M. Ali Dorosty, Fathiyeh Faghih, Ehsan Khamespanah

Runtime verification is the process of verifying critical behavioral properties in big complex systems, where formal verification is not possible due to state space explosion. Ther…