verifier – phrases

Terms for subject Programming containing verifier | all forms | exact matches only

English	Russian
byte code verifier	верификатор байтов кода (ssn)
bytecode verifier	верификатор байткода (блок Java-машины, проверяющий легитимность полученного через Интернет байт-кода перед его исполнением ssn)
design verifier	верификатор соблюдения проектного задания (ssn)
design verifier	верификатор проектных решений (средство контроля в системе проектирования ssn)
driver verifier	верификатор для драйверов (ssn)
evidence verifier	верификатор доказательства (ssn)
interactive functional verifier	интерактивное инструментальное средство функциональной верификации (Alex_Odeychuk)
model verifier	верификатор моделей (ssn)
static driver verifier	инструментальное средство статической верификации драйверов (Microsoft Alex_Odeychuk)
symbolic model verifier	символьный верификатор моделей (сокр. SMV ssn)
Typically, the designer provides a constraint on response time for some operation, and the verifier automatically determines if it is satisfied or not	Обычно разработчик предусматривает некоторое ограничение на время реакции для той или иной операции, а верификатор автоматически проверяет, выполняется оно или нет (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn)
verifier and prover toolchain	набор инструментальных средств формальной верификации и доказательства корректности программного обеспечения (Alex_Odeychuk)

Get short URL