От алгоритма до прода: как подойти к верификации распределенных систем / Никита Галушко