1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Erwan Mahe, Boutheina Bannour, Christophe Gaston +2
Offline runtime verification involves the static analysis of executions of a system against a specification. For distributed systems, it is generally not possible to characterize e…