 |
| Russian | English |
| библиотека, для создания, ликвидирования, изменения размера, проверки и копирования разделов диска и находящихся на них файловых систем. Является одним из компонентов проекта GNU Parted и изначально записывается на диск С | libparted (victorych) |
| программное средство построения формальных моделей программ и верификации их функциональных свойств | formal proof engine (Electronic Design; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk) |