Concurrency and Security Verification in Heterogeneous Parallel Systems