Russian ⇄ English

интегрированный инструмент формальной верификации stresses
softw.	formal methods toolsuite (русс. термин "интегрированный инструмент" для перевода взят из кн.: Шефер К., Хо К., Харроп Р. Spring 4 для профессионалов Alex_Odeychuk)