Login / Signup

VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs.

Farnaz YousefiEhsan KhamespanahMohammed GharibMarjan SirjaniAli Movaghar
Published in: SPIN (2019)
Keyphrases
  • formal verification
  • main contribution
  • information systems
  • lightweight
  • theoretical framework
  • data sets
  • email
  • data dissemination
  • bounded model checking