Tag by: Reliable Thread Verification