Formal Verification of a Vehicle-to-Vehicle (V2V) Messaging System.
Mark TullsenLee PikeNathan CollinsAaron TombPublished in: CAV (2) (2018)
Keyphrases
- formal verification
- pedestrian detection
- vehicle detection
- vehicle speed
- human body
- symbolic model checking
- real time
- traffic surveillance
- autonomous vehicles
- moving vehicles
- intelligent transportation systems
- traffic monitoring
- traffic accidents
- license plate
- fault tolerant
- software engineering
- dynamic programming