Performance Modeling and Verification of Load Balancing in Cloud Systems Using Formal Methods.

Shenghui Chen, Zhiming Fan, Haiying Shen, Lu Feng

Browse the full MASS paper archive.