Parallel Run-Time Verification