Файловые системы

В МТИ, по их словам, выполнили верификацию реального кода файловой системы, воспользовавшись инструментом доказательства теорем Coq, который позволяет на формальном языке описать элементы компьютерной системы и взаимоотношения между ними.

Вице-президент направления «Объектно-определяемые и файловые системы хранения данных»