An Approach to Verification of Interference Concerns for Multicore Systems (CAST-32A)