Formal verification of MPR selection algorithm in the OLSR protocol.
Omar BarkiZouhair GuennounAdnane AddaimPublished in: SITA (2015)
Keyphrases
- selection algorithm
- formal verification
- coloured petri nets
- model checker
- model checking
- symbolic model checking
- automated verification
- bounded model checking
- selection scheme
- prototype selection
- resource selection
- reduction method
- feature subset selection
- program slicing
- ad hoc networks
- search algorithm
- routing protocol
- node selection
- temporal logic
- wireless networks
- formal methods
- feature selection
- feature subset
- mobile ad hoc networks
- artificial neural networks
- pairwise
- decision trees
- image processing