75 citations · 108 across the 4 of their papers we have counts for
1 paper · 1 filter
Javier Esparza, Vincent Fischer
Runtime verification encompasses several lightweight techniques for checking whether a system's current execution satisfies a given specification. We focus on runtime verification…