Russian ⇄ English

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