23 citations · 32 across the 5 of their papers we have counts for
1 paper · 1 filter
Zhe Chen, Yunyun Chen, Robert M. Hierons +1
Runtime Verification (RV) is a lightweight formal technique in which program or system execution is monitored and analyzed, to check whether certain properties are satisfied or vio…