Verified Clever Cloud