Towards Formal Modeling and Verification of Cloud Architectures: A Case Study on Hadoop.

G. Satya Reddy, Yuzhang Feng, Yang Liu, Jin Song Dong, Jun Sun, Rajaraman Kanagasabai

Browse the full SERVICES paper archive.