Slide 1 1 Detecting Interference or Proving Interference Freedom Among Aspects Shmuel Katz Computer Science Department The Technion Slide 2 2 Aspect Verification: Summary…