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