An Evaluative Review of the Formal Verification for VANET Protocols.

Faten Fakhfakh Mohamed Tounsi Mohamed Mosbah

Published in: IWCMC (2019)

Keyphrases

formal verification
model checking
model checker
bounded model checking
cryptographic protocols
symbolic model checking
automated verification
program slicing
communication protocols
vehicular ad hoc networks
functional verification
formal methods
security protocols
expert systems
wireless medium