15 citations · 25 across the 10 of their papers we have counts for
1 paper · 1 filter
Joshua Heneage Dawes, Giles Reger
Techniques for runtime verification often utilise specification languages that are (i) reasonably expressive, and (ii) relatively abstract (i.e. they operate on a level of abstract…