В США создана первая в мире файловая система, защищающая данные от любых перебоев в энергоснабжении

В США создана первая в мире файловая система, защищающая данные от любых перебоев в энергоснабжении компьютеров и серверов, в частности, от программного или аппаратного сбоя, внезапного прекращения подачи электропитания или удара молнии! Новая файловая система опирается на формальную верификацию, которая устанавливает математическое описание допустимых границ работы компьютерной программы и свидетельство того, что эта программа никогда не выйдет за эти границы!