Formal Verification of the On-the-Fly Vehicle Platooning Protocol.
Piergiuseppe MallozziMassimo SciancaleporePatrizio PelliccionePublished in: SERENE (2016)
Keyphrases
- formal verification
- coloured petri nets
- model checker
- model checking
- cryptographic protocols
- bounded model checking
- symbolic model checking
- automated verification
- real time
- vehicle detection
- lightweight
- pedestrian detection
- traffic accidents
- formal methods
- autonomous vehicles
- vehicle speed
- functional verification
- formal analysis
- test suite
- formal specification
- wireless communication
- temporal logic
- software development
- software engineering
- multi agent systems