On The Verification and Realization of VANET Applications