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