Terms containing formal methods

Subject	English	Russian
softw.	based on formal methods	на основе методов формальной верификации программного обеспечения (Alex_Odeychuk)
math.	formal method	формальный метод
progr.	formal method verification toolset	комплект инструментальных средств формальной верификации программного обеспечения (Alex_Odeychuk)
softw., context.	formal methods	формальные методы инженерии программного обеспечения (Alex_Odeychuk)
progr.	formal methods	формальные методы (строгие методы спецификации требований, проекта или реализации, базирующиеся на законах математики или логики ssn)
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)
progr.	industrial use of formal methods	применение методов формальной верификации программного обеспечения промышленного назначения (корпорации AdaCore Alex_Odeychuk)
progr.	semi-formal methods	полуформальные методы (ssn)