Modeling and Verification of NLSR Protocol using UPPAAL.
Yuan FeiHuibiao ZhuXin LiPublished in: TASE (2018)
Keyphrases
- model checker
- model checking
- colored petri nets
- formal analysis
- cryptographic protocols
- formal methods
- formal verification
- lightweight
- temporal logic
- description language
- social networks
- protocol specification
- petri net
- test suite
- signature verification
- modeling language
- sensor networks
- case study
- timed automata
- formal proof
- neural network