Using formal methods towards improving cloud IaaS environments