1 paper · 1 filter
Thomas M. Grosen, Sean Kauffman, Kim G. Larsen +1
Monitoring is an important part of the verification toolbox, in particular in situations where exhaustive verification using, e.g., model-checking is infeasible. The goal of online…