Poster Abstract: Getting Out of the Way -- Safety Verification without Compromise

The intelligent transportation systems problems of adaptive cruise control and variable timing for traffic intersection signals are explored with emphasis on verification of safety properties.