Formal Modeling and Verification of Cloud Elasticity with Maude and LTL.

Khaled Khebbeb, Nabil Hameurlain, Faiza Belala

Browse the full MEDI paper archive.