A verification framework for behavioral safety of self‐driving cars