1 paper
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…