Search results for monitoring runtime verification