Model of Verification of Distributed Storage Systems

O Martynyuk, O Drozd, L Sugak… - 2023 IEEE East …, 2023 - ieeexplore.ieee.org
The correctness and stability of distributed data storage systems is one of the key and, at the
same time, special conditions for the overall performance of a wide variety of domain …