3 citations · 3 across the 6 of their papers we have counts for
1 paper · 1 filter
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…