A model-based approach for formal verification and performance analysis of dynamic load-balancing protocols in cloud environment.
Imene Ben HafaiedhRoua Ben HamoudaRiadh RobbanaPublished in: Clust. Comput. (2021)
Keyphrases
- formal verification
- dynamic load balancing
- load balancing
- model checking
- pc cluster
- parallel database systems
- low overhead
- model checker
- automated verification
- bounded model checking
- symbolic model checking
- computing platform
- fault tolerance
- artificial intelligence
- distributed systems
- parallel processing
- temporal logic