An explosive growth in vehicular wireless services and applications gives rise to spectrum resource starvation. Cognitive radio has been used to vehicular networks to mitigate the impending spectrum starvation problem by allowing vehicles to fully exploit spectrum opportunities unoccupied by licensed users. Efficient and effective detection of licensed user is a critical issue to realize cognitive radio applications. However, spectrum sensing in vehicular environments is a very challenging task due to vehicles mobility. For instance, vehicle mobility has a large effect on the wireless channel, thereby impacting the detection performance of spectrum sensing. Thus, gargantuan efforts have been made in order to analyze the fading properties of mobile radio channel in vehicular environments. Indeed, numerous studies have demonstrated that the wireless channel in vehicular environments can be characterized by a temporally correlated Rayleigh fading. In this paper, we focus on energy detection for spectrum sensing and a counting rule for cooperative sensing based on Neyman-Pearson criteria. Further, we go into the effect of the sensing and reporting channels condition on spectrum sensing performance under temporally correlated Rayleigh sensing channel. For local and cooperative sensing, we derive some alternative expressions for average probability of miss detection. The pertinent numerical and simulating results are provided to further validate our theoretical analyses under a variety of scenarios.