What is the translation of " VERIFICATION PROGRAM " in Portuguese?

• programa de verificação
• verification program

Examples of using Verification program in English and their translations into Portuguese

Integrit V: 0, I: 0 440 file integrity verification program.
Integrit V: 0, I: 0 440 programa de verificação de integridade de ficheiros.

Integrit: A file integrity verification program(package info), orphaned since 122 days.
Integrit: A file integrity verification program(informações do pacote), órfão desde 123 dias.

The methodology used multiparameter probe model ysi 6820 v2 that uses sensors with technology approved by the usepa through the environmental technology verification program protocol.
Como metodologia empregou-se sonda multiparâmetro modelo ysi 6820 v2 que utiliza sensores com tecnologia aprovada pelo usepa através do protocolo environmental technology verification program.

You need the best email verification program to manage your email list.
Você precisa do melhor programa de verificação de e-mail para gerenciar sua lista de e-mail.

The verification program used the 4th order Borwein algorithm, required 817GB of memory and completed the calculations after 46h 7m and 10s.
O programa de verificação utilizou o algoritmo de 4ª ordem de Borwein, precisou de 817GB de memória e terminou os cálculos ao fim de 46h 7m e 10s.

DHL's solution includes everything from practitioner verification programs to samples accountability processes.
A solução da DHL inclui tudo, desde programas de verificação médica até processos de responsabilidade de amostras.

A probe verification program checks the proper functioning of the temperature probe and allows a bias adjustment by using a special calibration kit optional.
Um programa de verificação da sonda verifica se a sonda está funcionando adequadamente e permite um ajuste da tendência através do uso de um kit de calibração especial opcional.

She enacted the Legal Arizona Workers Act in 2007 which required all companies to use an employment verification program(called“Basic Pilot”) that uses“no-match” letters to harass immigrant workers on the job.
Criou a lei de Trabalhadores Legalizados do Arizona de 2007 que obrigava às companhias a utilizar um programa de verificação de empregos(de nome“Basic Pilot”) que utilizava cartas de“não-compatibilidade” para assediar os trabalhadores imigrantes em seus empregos.

Material Verification Program Compliance For material verification programs, Vanta analyzers are used to confirm construction materials, verify materials against material test reports, and identify improperly marked materials.
Para os programas de verificação de material, os analisadores Vanta são utilizados para confirmar a composição dos materiais, verificar os materiais em comparação com os relatórios de teste e identificar os materiais marcados indevidamente.

We pay the software publisher for the Giveaway license, and our visitors only receive those after downloading a special verification program and agreeing to the Terms and Conditions, thus protecting software publishers' interests and making our initiative beneficial for both clients and publishing companies.
Nós pagaremos ao produtor do software a licença Giveaway e os nossos visitantes só a receberão depois de executarem um programa de verificação e acordarem nos Termos e Condições para protecção dos interesses dos produtores de software de forma a tornar benéfica esta iniciativa quer para os produtores, quer para os clientes.

Foreign Supplier Verification Program-requires importers to verify that food imported into the United States has been produced in a manner that provides the same level of public health protection as that required of U.S. food producers.
Programa de Verificação do Fornecedor Estrangeiro- exige que os importadores verifiquem que os alimentos importados para os Estados Unidos tenham sido produzidos de maneira que ofereça o mesmo nível de proteção da saúde pública exigida aos produtores de alimentos dos EUA.

Dr. James Hayward, President and CEO of Applied DNA said,"The UL Mark Verification program is an ideal platform for our SigNature molecular tags to assure brands, and consumers alike, the provenance of origin and to substantiate key marketing claims.
O Dr. James Hayward, presidente e diretor executivo da Applied DNA, disse:"O programa de Marcas de Verificação da UL é uma plataforma ideal para as nossas etiquetas moleculares SigNature, garantindo às marcas- e também aos consumidores- a origem dos produtos e a veracidade das campanhas de marketing.

This is the best email verification program in the market for all your verification needs.
Este é o melhor programa de verificação de e-mail no mercado para todas as suas necessidades de verificação..

With the help of the GWP® Verification program it was possible to increase product quality and reduce the impact on the environment.
Com a ajuda do Programa de Verificação GWP®, foi possível melhorar a qualidade do produto e reduzir o impacto no meio ambiente.

The term was then used by Robert S. Boyer and J Strother Moore, who worked in the Department in the early 1970s, to describe their work on program verification and automated reasoning.
O termo foi utilizado por Robert S. Boyer e J Strother Moore, que trabalhou no Departamento, no início do ano de 1970, para descrever o seu trabalho na verificação do programa e raciocínio automatizado.

Dynamic logic was developed by Vaughan Pratt in 1974 in notes for a class on program verification as an approach to assigning meaning to Hoare logic by expressing the Hoare formula p{ a} q{\displaystyle p\{a\}q\,\!} as p→ q{\displaystyle p\to q\,\!
Lógica Dinâmica foi desenvolvida por Vaughan Pratt em 1974 em notas para uma disciplina sobre verificação de programas como uma abordagem para a atribuição de sentido à lógica de Hoare, expressando a fórmula de Hoare p{ a} q{\displaystyle p\{a\}q\,\!} as p→ q{\displaystylep\to q\,\!

David Luckham Stanford University, Developed the Stanford Resolution Theorem Prover 1968, the first automated deduction system used to solve problems announced in the Notices of the AMS, and subsequently developed the Stanford Pascal Verifier, the first program verification system for Pascal, and a widely distributed program verification system, 1968-75 Norman Megill, developer of Metamath, and maintainer of its site at metamath. org.
David Luckham, Universidade de Standford, desenvolveu o demonstrador de teoremas para resolução de Standford em 1968, o primeiro sistema de dedução automatizado utilizado para resolver problemas anunciado na secção da Notícias da Associação Americana de Matemática, e subsequentemente desenvolveu o verificador de Pascal, o primeiro programa de verificação de sistemas para Pascal, amplamente distribuído, 1968-75.

This semantics carries over naturally to dynamic logic by interpreting worlds as states of a computer in the application to program verification, or states of our environment in applications to linguistics, AI, etc. One role for possible world semantics is to formalize the intuitive notions of truth and validity, which in turn permit the notions of soundness and completeness to be defined for axiom systems.
Esta semântica transporta mais naturalmente a lógica dinâmica interpretando mundos como estados de um computador na aplicação de programa de verificação, ou estados de nosso ambiente de aplicações para a linguística, AI,etc. Um papel para possíveis semântica de mundos é formalizar as noções intuitivas de verdade e validade, que por sua vez permitem que as noções de solidez e integridade a ser definida para sistemas axiomáticos.

One of the first fruitful areas was that of program verification whereby first-order theorem provers were applied to the problem of verifying the correctness of computer programs in languages such as Pascal, Ada, Java etc. Notable among early program verification systems was the Stanford Pascal Verifier developed by David Luckham at Stanford University.
Uma das área mais frutuosas foi a de verificação de programas enquanto que teoremas de primeira ordem eram aplicados ao problema de verificar a correção de programas de computador em linguagens como Pascal, Ada, Java, etc.

One of the techniques used to this purpose is called formal verification of programs.
Uma das técnicas utilizadas para esta finalidade é a chamada verificação formal de programas.

Program verification through simulation.
Verificação do programa através de simulação.

Do the DownLoad of two examples of SOS, GALLERIES- make a model with the program Reticulated Plane Frame and, COLUMNS- verification by program Columns of Reinforced Concrete.
Faça o DownLoad de dois exemplos do SOS, GALERIAS- montagêm de um modêlo pelo programa Pórticos Planos e, PILARES- verificação de uma seção retangular pelo programa Pilares de Concreto.