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