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