Все пять safety-свойств Raft прошли. Две реплики разошлись +1 23.08.2026 17:01 botiroff 0 Распределённые системы Тестирование IT-систем TypeScript Алгоритмы
5ⁿ → 4n+1: сколько на самом деле дают редукции в explicit‑state model checking +3 20.08.2026 07:48 botiroff 2 Алгоритмы Параллельное программирование Распределённые системы TypeScript Тестирование IT-систем
Формальная верификация протокола IBFT: проверяем безопасность византийского консенсуса в блокчейне +11 10.12.2024 09:07 krlzi 0 Блог компании Positive Technologies Криптовалюты Программирование Алгоритмы Анализ и проектирование систем
