2026. FORMAL VERIFICATION OF DATA MODIFICATIONS IN CLOUD BLOCK STORAGE BASED ON SEPARATION LOGIC. International Journal of Engineering Research and Science & Technology. 22, 2(4) (Jul. 2026), 1477–1486. DOI:https://doi.org/10.62643/.