Model-Checking Cloud Systems Using BigMC.

Hamza Sahli, Faiza Belala, Chafia Bouanaka

Browse the full VECoS paper archive.