GPU Series: Verifying Code Correctness with PCAST