| Subject | English | Russian |
| progr. | formal methods and critical systems | формальные методы и критические системы (ssn) |
| progr. | formal methods concepts | концепции формальных методов (ssn) |
| softw. | formal methods in software engineering | формальные методы инженерии программного обеспечения (Alex_Odeychuk) |
| progr. | formal methods of describing syntax | формальные методы описания синтаксиса (ssn) |
| math. | formal methods of mathematics | формальные методы математики (Alex_Odeychuk) |
| softw. | formal methods toolsuite | интегрированный инструмент формальной верификации (русс. термин "интегрированный инструмент" для перевода взят из кн.: Шефер К., Хо К., Харроп Р. Spring 4 для профессионалов Alex_Odeychuk) |