Model of Verification of Distributed Storage Systems. - Oleksandr Martynyuk; Oleksandr Drozd; Lyudmila Sugak; Sergiy Kravtsov; Dmitry Martynyuk; Igor Kovalev (EWDTS, 2023)