Terms containing formal-verification

Subject	English	Russian
progr.	approach of formal verification	метод формальной верификации (ssn)
progr.	automated formal verification of software	автоматическая формальная верификация программного обеспечения (Alex_Odeychuk)
progr.	category of formal verification	категория формальной верификации (ssn)
progr.	different flavors of formal verification	особенности формальной верификации (ssn)
progr.	dynamic formal verification	динамическая формальная верификация (ssn)
progr.	formal method verification toolset	комплект инструментальных средств формальной верификации программного обеспечения (Alex_Odeychuk)
data.prot.	formal verification	математическая верификация
IT	formal verification	формальная верификация
progr.	formal verification	формальная верификация кода (Electronic Design Alex_Odeychuk)
progr.	formal verification algorithms	алгоритмы формальной верификации (ssn)
softw.	formal verification framework	платформа формальной верификации (adacore.com Alex_Odeychuk)
softw.	formal verification of an implementation against a specification	формальная верификация реализации на соответствие спецификации (adacore.com Alex_Odeychuk)
progr.	formal verification of implicit calls	формальная верификация неявных вызовов (adacore.com Alex_Odeychuk)
softw.	formal verification support	поддержка формальной верификации (Alex_Odeychuk)
progr.	formal verification technique	метод формальной верификации (ssn)
progr.	formal verification techniques	методы формальной верификации (ssn)
softw.	formal verification technology	технология формальной верификации (adacore.com Alex_Odeychuk)
softw.	formal verification tool	инструмент формальной верификации (adacore.com Alex_Odeychuk)
softw.	formal verification toolset	набор инструментов формальной верификации (adacore.com Alex_Odeychuk)
progr.	formal-verification techniques	методы формальной верификации (Alex_Odeychuk)
progr.	in the not-so-distant past, the term formal verification was considered synonymous with equivalency checking for the majority of design engineers	ещё совсем недавно большинство разработчиков рассматривали термин формальная верификация как синоним проверки на эквивалентность (см. 'The Design Warrior's Guide to FPGAs' by Clive "Max" Maxfield 2004)
progr.	modular formal verification	формальная верификация программных модулей (корпорации AdaCore; контекстуальный перевод на русс. язык Alex_Odeychuk)
progr.	perform formal proof and verification on code	выполнять формальное доказательство корректности и верификацию кода (корпорации AdaCore Alex_Odeychuk)
progr.	perform modular formal verification	выполнять формальную верификацию программных модулей (To prove the post condition of a subprogram according to its own precondition and the precondition and postconditions of its callees (ie, those subprograms that it calls) whether or not these callees are themselves proven. For a complete, 100%, proof, all the subprograms of an application need to be formally proven; корпорации AdaCore; контекстуальный перевод на русс. язык Alex_Odeychuk)
progr.	role of formal verification techniques	роль методов формальной верификации (ssn)
progr.	role of formal verification techniques in the context of software validation and testing	роль методов формальной верификации в контексте проверки соответствия и тестирования ПО (ssn)
progr.	semi-automated formal verification of software	полуавтоматическая формальная верификация программного обеспечения (Alex_Odeychuk)
progr.	static formal verification	статическая формальная верификация (ssn)
progr.	subclass of formal verification	подвид формальной верификации (ssn)
progr.	subclass of formal verification called model checking	подвид формальной верификации, называемый верификация модели (ssn)
progr.	technique for formal verification	метод формальной верификации (illinois.edu Alex_Odeychuk)
progr.	the term formal verification	термин формальная верификация (ssn)
softw.	tool for formal program verification	инструмент формальной верификации программ (adacore.com Alex_Odeychuk)
progr.	tool for formal verification	инструмент формальной верификации (illinois.edu Alex_Odeychuk)