FORMAL VERIFICATION OF DATA MODIFICATIONS IN CLOUD BLOCK STORAGE BASED ON SEPARATION LOGIC. int. J. Eng. Res. Sci. Tech. 2026, 22 (2(4), 1477-1486. https://doi.org/10.62643/.