Specification and verification of reliability in dispatching multicast messages.
Seyed Morteza BabamirPublished in: J. Supercomput. (2013)
Keyphrases
- formal verification
- formal methods
- asynchronous circuits
- protocol specification
- model checking
- formal specification
- scheduling problem
- wireless networks
- high level
- flexible manufacturing systems
- manufacturing systems
- routing algorithm
- end to end
- concurrent systems
- group membership
- multicast routing
- colored petri nets
- text messages
- reliability analysis
- genetic algorithm
- route selection
- dynamic routing
- bandwidth allocation
- specification language
- highly reliable
- data dissemination
- production scheduling
- application layer
- wireless ad hoc networks
- content delivery
- plan execution