FORMAL VERIFICATION OF DATA MODIFICATIONS IN CLOUD BLOCK STORAGE BASED ON SEPARATION LOGIC. int. J. Eng. Res. Sci. Tech. [Internet]. 2026 Jul. 7 [cited 2026 Oct. 1];22(2(4):1477-86. Available from: https://ijerst.org/index.php/ijerst/article/view/3890