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

• verificación de modelos
• model checking

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

Symbolic model checking.
Verificación de modelos.

Model checking- Wikipedia, the free encyclopedia.
Verificación de modelos- Wikipedia, la enciclopedia libre.

Allen Emerson, for his work on model checking.
Allen Emerson, por su trabajo en el método conocido como model checking.

Grumberg is noted for developing model checking, a method for formally verifying hardware and software designs.
Principalmente reconocido por haber desarrollado el método conocido como"model checking", para verificar diseños de software o hardware.

This method is known as bounded model checking.
Este modelo de distribución también es conocido como de circulación controlada.

Model checking by testing whether the estimated model conforms to the specifications of a stationary univariate process.
Comprobar el modelo mediante el ensayo, si el modelo estimado se ajusta a las especificaciones de un proceso univariado estacionario.

Palabras llave: Formal methods; model checking; timed models;.
Palabras llave: Métodos formales; comprobación modelo; modelos temporizados;

The theory of semantics of programming languages is related to model theory, as is program verification in particular, model checking.
El estudio de la semántica de los lenguajes de programación procede de la teoría de modelos, así como también la verificación de programas y el caso particular de la técnica del model checking.

There are hybrid theorem proving systems which use model checking as an inference rule.
Existen sistemas demostradores de teoremas híbridos que utilizan prueba de modelo a manera de regla de inferencia.

Formal verification, also model checking: Attempts to prove, by mathematical methods, that the system has certain desired properties, and that certain undesired effects(such as deadlock) cannot occur.
Verificación formal, también comprobación de modelos: intentos probar, por métodos matemáticos, que el sistema tiene las propiedades deseadas, y que ciertos efectos indeseados no puedan ocurrir.

This article describes Kripke structures as used in model checking.
Este artículo describe las estructuras de Kripke como se usan en Verificación de modelos.

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.
Otras técnica es la"comprobación del modelo", que es equivalente a la enumeración por medio de la fuerza bruta de muchos estados posibles aunque como la puesta en práctica real de probadores del modelo requiere mucha inteligencia, es algo excesivo decir que el método solo requiere de fuerza bruta.

A Kripke structure is a variation of the transition system, originally proposed by Saul Kripke, used in model checking to represent the behavior of a system.
Una estructura de Kripke es una variación del sistema de transición, originalmente propuesta por Saul Kripke, usada en Verificación de modelos. para representar el comportamiento de un sistema.

Joseph Sifakis(Greek: Ιωσήφ Σηφάκης) is a Greek-French computer scientist with French citizenship, laureate of the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking.
Joseph Sifakis(Heraclión, Creta, 26 de diciembre de 1946) es un científico de la computación griego naturalizado francés, ganador del Premio Turing de 2007 junto con Edmund Clarke y E. Allen Emerson, por su trabajo en el método conocido como model checking.

Their paper characterizes the precise complexity of the model checking problem for hyperproperties, and shows how to leverage existing state-of-the-art model checking tools to handle hyperproperty specifications, with applications to security, symmetry, and coding theory.
Esta publicación caracteriza de forma precisa la complejidad del problema de comprobación de modelos par hiperpropiedades, y muestra como utilizar las herramientas de comprobación de modelos existentes para manejar especificaciones de hiperpropiedades, con aplicaciones en seguridad, simetría, y teoría de la programación.

This week-long computer school, organized and taught by UNU-IIST personnel at University Kebangsaan Malaysia, included courses in functional and high-level programming and in model checking.
Esta escuela de informática ofrece cursos de una semana de duración, organizados e impartidos por docentes del UNU-IIST en la Universidad Nacional de Malasia, incluidos cursos en programación funcional y de alto nivel y en la verificación de modelos.

He is also interested in all aspects of compilation and optimization of modern programming languages and in other formal verification methods, such as interactive and automated theorem proving, decision procedures, program analysis and software model checking.
También está interesado en todos los aspectos de la compilación y optimización de los lenguajes de programación modernos y en otros métodos de verificación formales, como la demostración interactiva y automática de teoremas, procedimientos de decisión, análisis de programas y la verificación formal de software software model checking.

Below is the featuresfor this model, check below.
A continuación se muestran las características de este modelo, verifique a continuación.

Depending on the model, check that circuit breakers(no. 1, fig A) are connected.
Según el modelo, compruebe que los disyuntores(núm.1, fig. A) están activados.

Before production, mould and model check;
Antes de la producción, molde y modelo de verificación;

Before production, mould and model check;
Antes de la producción, control del molde y del modelo;

Please check the contents of the hardware kit against the corresponding model check list, prior to installation of the unit.
Verifi que el contenido del juego de tornillería con la lista de control del modelo correspondiente antes de la instalación de la unidad.

Transmitter- Receiver Models Check installation considerations described for either top mount or cage type mounting units and apply those appropriate for joint installations with receiver controllers.
Modelos Transmisor- Receptor Vea las consideraciones de instalación descritas para unidades de montaje superior o cámara y aplique las apropiadas para instalaciones con controladores receptores.

Checking the model and version of your router.
Verificar el modelo y la versión de su router.

Features model for checking the continuity equation and the energy equation.
Features modelo para verificar la ecuación de continuidad y de energía.

Please purchase after checking the model and corresponding number properly.
Compruebe por favor después de comprobar el modelo y el número correspondiente correctamente.

Determine your mixer model by checking for a spring on the beater shaft, and then position the drive assembly as illustrated for proper placement.
Determine el modelo de su batidora revisando que haya un resorte en el eje de la batidora, y entonces coloque el ensamble de la transmisión como se ilustra.

Qualified level, controlled based on a strong regulatory model prior checking by the supervisor(in Spain, SETSI), for qualified trust service providers QTSP.
Nivel cualificado, controlado en base a un modelo regulatorio de fuerte control previo, por parte del supervisor(en España, la SETSI), para los prestadores de servicios de confianza cualificados.

How to use "model checking" in a sentence

Model Checking for Branching-Time Temporal Logics.

Model checking for probabilistic timed automata.

Added analysis model checking for solids.

Added analysis model checking for supports.

Added analysis model checking for sections.

Added analysis model checking for nodes.

Added analysis model checking for shells.

Model Checking Lossy Vector Addition Systems.

Model Checking Syllabi and Student Carreers.

SMT-Based Model Checking for Stabilizing Programs.