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. doi:10.62643/