Modeling and verifying NDN‐based IoV using CSP