What is the translation of " MODEL CHECKING " in Portuguese?

• verificação de modelos
• model checking

Examples of using Model checking in English and their translations into Portuguese

This is useful in model checking.
Isto é útil na Checagem de modelo.

Model checking is most often applied to hardware designs.
Verificação de modelos é mais freqüentemente aplicada em projetos de hardware.

And that's computer model checking.
E isso é a verificação de modelo de computador.

Model checking began with the pioneering work by E. M. Clarke and E. A. Emerson and by J. P. Queille and J. Sifakis.
Trabalhos pioneiros em verificação de modelos de fórmula de lógica temporal foram realizados por E. M. Clarke and E. A. Emerson and by J. P. Queille and J. Sifakis.

If M is finite, as it is in hardware, model checking reduces to a graph search.
Se M é finito, como é em hardware, a verificação de modelos se reduz a uma busca gráfica.

Clarke, Emerson, and Sifakis shared the 2007 Turing Award for their work on model checking.
Clarke, Emerson e Sifakis receberam juntos o Turing Award de 2007 por seu trabalho em verificação de modelos.

We also solve the saturation and compare the results from each model, checking that the results are as close as you want them to be.
Resolvemos também a saturação e comparamos o resultado dos dois modelos, observando que os resultados são tão próximos quanto se queira.

Model checking, in which a system verifies certain properties by means of an exhaustive search of all possible states that a system could enter during its execution.
Verificação de Modelo, na qual o sistema verifica certas propriedades por meio de uma pesquisa exaustiva de todos os estados possíveis que um sistema poderia assumir durante sua execução.

There are hybrid theorem proving systems which use model checking as an inference rule.
Existem sistemas híbridos de demonstração de teoremas que usam verificação de modelos como uma regra de inferência.

Büchi automata are often used in model checking as an automata-theoretic version of a formula in linear temporal logic.
Autômatos de Büchi são frequentemente utilizados em verificação de modelos como uma versão da teoria dos autômatos de uma fórmula em lógica temporal linear.

In this context, this work aims to propose an approach to verification automation systems that combines two different verification techniques: model checking and model based testing.
Neste contexto, este trabalho tem por objetivo propor uma abordagem para verificação de sistemas de automação que combina duas técnicas de verificação distintas: model checking e model based testing.

In this paper we discuss applications of model checking in uml through the translation of timing diagrams to symbolic model verification smv.
Neste artigo é discutido o problema de aplicação da verificação de modelos aplicada a uml através da tradução de diagramas de temporização para o modelo simbólico.

Consequently, game semantics has led to fully abstract semantic models for a variety of programming languages and, to new semantic-directed methods of software verification by software model checking.
Consequentemente, a semantica de jogos levou a modelos de semantica completamente abstratos para uma variedade de linguagens de programação e, novos métodos de verificação de softwares por checagem de modelos direcionados a semântica.

ARCHICAD is also directly linked via API to Solibri's Model checking and quality assurance tools.
ArchiCAD também está diretamente ligada via API para verificação de modelos e ferramentas de garantia de qualidade do Solibri.

In model checking, a transition system is sometimes defined to include an additional labeling function for the states as well, resulting in a notion that encompasses that of Kripke structure.
Em verificação de modelos, um sistema de transição é, às vezes, definido para incluir uma função de rotulagem adicional para os estados, assim, resultando em uma noção que envolve a estrutura de Kripke.

Several industries are interested in this technique due to the success achieved by the support of model checking tools(model checkers) in various projects of high complexity.
Esta técnica tem despertado o interesse de muitas indústrias devido ao sucesso obtido pelo apoio das ferramentas de verificação de modelos(model checkers) em vários projetos de alta complexidade.

The methodology is constructed in such a way that the use of model checking procedure should be transparent to vhdl designers, keeping the interface with the formal verification process in user language, avoiding the need to learn new languages.
A metodologia é construída de um modo que o uso do model checking seja transparente ao desenvolvedor vhdl, mantendo a interface com o processo de verificação formal em linguagem de usuário, evita.

Model checking is an automatic formal technique that allows verification of finite-state concurrent systems under properties described in temporal logics by employing verification algorithms that exhaustively assess the correctness of the system under consideration.
Verificação de modelos é uma técnica formal automática que permite a verificação de sistemas concorrentes de estados finitos sob propriedades descritas em lógicas temporais através do emprego de algoritmos que avaliam exaustivamente o sistema sob consideração.

To this end, the fib Model Code 2010[] recommends four safety model checking, of whom an cites two: Security Probabilistic Method and Partial Safety Factor Method or Semi probabilistic method.
Com esta finalidade, o fib Model Code 2010[] recomenda quatro modelos de verificação da segurança, dos quais cita-se dois: Método Probabilístico de Segurança e Método dos Coeficientes Parciais de Segurança ou Método Semiprobabilístico.

In computer science, model checking or property checking refers to the following problem: Given a model of a system, exhaustively and automatically check whether this model meets a given specification.
No campo da Ciência da Computação, Verificação de Modelos(do inglês, Model Checking) refere-se ao problema de testar automaticamente se um modelo que representa um sistema atende a uma dada especificação.

Correctness criteria for this approach are discussed and verifications are conducted through model checking. the properties validation proved the correctness of the method with respect to a set of scenarios and properties.
Critérios de correção para o método são discutidos e a verificação é realizada através de verificação de modelos. a validação das propriedades comprovou a correção do método em relação ao conjunto de cenários e propriedades definidas.

An important class of model checking methods have been developed for checking models of hardware and software designs where the specification is given by a temporal logic formula.
Uma importante classe de métodos de verificação de modelos tem sido desenvolvida para verificação de modelos de projetos de hardware e software onde a especificação é dada por uma fórmula de lógica temporal.

Need that from scratch. And the other parts that's more popular recently is called model checking, where you're looking for some features to see if it's, you search all possible executions for just a limited set of features.
Precisa que a partir do zero. e as outras partes que é mais popular recentemente é chamado de verificação de modelos, onde você está procurando algumas características para ver se ele é, você pesquisar todas as execuções possíveis para apenas um conjunto limitado de recursos.

Other techniques would include model checking, which, in the simplest case, involves brute-force enumeration of many possible states although the actual implementation of model checkers requires much cleverness, and does not simply reduce to brute force.
Outras técnicas incluiriam verificação de modelos, as quais, no caso mais simples, incluem o método da enumeração por força bruta dos numerosos estados possíveis embora a implementação atual de verificadores de modelos requeira muita esperteza, e não se reduza somente à força bruta.

Besides, formal verification methods, such as model checking, are best applied in early stages of system design, when costs are low and benefits can be high, increasing the quality of systems.
Além disso, métodos de verificação formal, como model checking, são aplicados de maneira mais eficiente nos estágios iniciais do projeto de software, quando os custos ainda são baixos e os benefícios podem ser altos, aumentando a qualidade dos sistemas de software.

The goal is to show with experimental results that model checking techniques can be effective, in particular cases, to find the optimal solution of the hw/sw partitioning problem using a state-of-the-art model checker based on satisfiability modulo theories(smt) solvers, when compared to the traditional techniques.
O objetivo é demonstrar, com os resultados empíricos, que as técnicas de verificação de modelos podem ser efetivas, em casos particulares, para encontrar a solução ótima do problema de particionamento de hw/sw usando um verificador de modelos baseado no solucionador smt, quando comparado com técnicas tradicionai.

If you didn't find your model, check the links page of the site.
Se por acaso não encontrou seu modelo, verifique a página de links do site.

In RFEM 5 and RSTAB 8 it is possible to save problems and warnings occurring during the model check as an extra view.
No RFEM 5 e RSTAB 8 é possível guardar problemas e avisos que ocorrem durante a verificação do modelo como uma vista extra.

Were performed 2 analyses: one vertical, on the sense of cash flows, checking the current estimate sensitivity to choice of the yield curve model, and another horizontal, on the sense of models, checking the current estimate sensitivity to choice of the payment profile.
Foram realizadas 2 análises: uma vertical, no sentido dos fluxos de caixa, verificando a sensibilidade da estimativa corrente à escolha do modelo da curva de juros, e outra horizontal, no sentido dos modelos, verificando a sensibilidade da estimativa corrente à escolha de um perfil de pagamento.