“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), pp. 1477–1486. doi:10.62643/.