Login / Signup
VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs.
Farnaz Yousefi
Ehsan Khamespanah
Mohammed Gharib
Marjan Sirjani
Ali Movaghar
Published in:
CoRR (2019)
Keyphrases
</>
formal verification
main contribution
bounded model checking
software engineering
domain specific
domain independent