Searching in runtime/verifications