Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄
Terms for subject Software containing формально | all forms | exact matches only
RussianEnglish
автоматический статический анализ и формальная верификация программного обеспеченияautomatic analysis and verification (Electronic Design Alex_Odeychuk)
быть формально верифицированнымbe formally verified (корпорации AdaCore Alex_Odeychuk)
иметь формальное доказательство информационной безопасностиbe hacker proof (Alex_Odeychuk)
инструмент формальной верификацииformal verification tool (adacore.com Alex_Odeychuk)
инструмент формальной верификации программtool for formal program verification (adacore.com Alex_Odeychuk)
инструментальное средство формального доказательства корректности ПОformal proof tool (корпорации AdaCore Alex_Odeychuk)
интегрированный инструмент формальной верификацииformal methods toolsuite (русс. термин "интегрированный инструмент" для перевода взят из кн.: Шефер К., Хо К., Харроп Р. Spring 4 для профессионалов Alex_Odeychuk)
механизм формальной верификацииformal proof engine (Electronic Design; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk)
на основе методов формальной верификации программного обеспеченияbased on formal methods (Alex_Odeychuk)
набор инструментов формальной верификацииformal verification toolset (adacore.com Alex_Odeychuk)
платформа формальной верификацииformal verification framework (adacore.com Alex_Odeychuk)
поддержка формального анализаformal analysis support (Alex_Odeychuk)
поддержка формальной верификацииformal verification support (Alex_Odeychuk)
полуформальные и формальные доказательства корректностиsemi-formal and formal proofs of correctness (корпорации AdaCore Alex_Odeychuk)
программное средство построения формальных моделей программ и верификации их функциональных свойствformal proof engine (Electronic Design; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk)
система построения доказательства соответствия модели программы её формальной спецификацииformal proof engine (Alex_Odeychuk)
система формальной верификации программного обеспеченияformal proof engine (Electronic Design Alex_Odeychuk)
система формальной верификации программного обеспеченияproof verification system (корпорации AdaCore Alex_Odeychuk)
соответствовать формальной спецификацииbe correct with regard to a given specification (Electronic Design Alex_Odeychuk)
среда формальной верификацииverification environment (a toolset based on formal methods and oriented toward high-assurance software systems Alex_Odeychuk)
средство формальной верификации кодаformal proof engine (система построения строгого математического доказательства корректности программы по отношению к предъявляемым к ней требованиям; Electronic Design; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk)
тестирование и формальная верификацияmodel checking (testing and verification is also known as model checking Alex_Odeychuk)
тестирование и формальная верификацияtesting and verification (Alex_Odeychuk)
технология формальной верификацииformal verification technology (adacore.com Alex_Odeychuk)
технология формальной верификацииformal proof technology (Alex_Odeychuk)
формальная верификация реализации на соответствие спецификацииformal verification of an implementation against a specification (adacore.com Alex_Odeychuk)
формально верифицированныйformally verifiable (adacore.com Alex_Odeychuk)
формально доказать корректностьformally prove correctness (корпорации AdaCore Alex_Odeychuk)
формальные методы инженерии программного обеспеченияformal methods in software engineering (Alex_Odeychuk)
формальные методы инженерии программного обеспеченияformal methods (Alex_Odeychuk)

Get short URL