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

• model checking

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

Fu tra i primi a contribuire alla teoria del model checking.
He was a co-editor of the forthcoming Handbook of Model Checking.

Anche tecniche di model checking potranno essere utilmente impiegate.
Model checking techniques can also be profitably exploited.

Stiamo equipaggiando ECLAIR con potenti motori di propagazione di vincoli, model checking simbolico e interpretazione astratta.
We are equipping ECLAIR with powerful constraint propagation, symbolic model checking, and abstract interpretation engines.

Il Model Checking generalmente prende luogo su versioni astratte dei sistemi studiati.
Model checking generally takes place on abstract versions of the studied systems.

di verificarne le proprietà mediante model checking.
to develop techniques for verifying them through model-checking.

Quando si applica Model Checking a software su larga scala, la principale sfida della ricerca
The main research challenge when applying Model Checking to large scale software therefore is

mediante dimostrazione automatica di teoremi o model checking.
by theorem proving or model checking.

È un esperto di model checking, problema di soddisfacimento dei vincoli e basi di dati,
He is an expert in model checking, constraint satisfaction and database theory,

mediante tecniche di ragionamento automatico quali dimostrazione automatica di teoremi o model checking.
by automated reasoning techniques such as theorem proving or model checking.

Si descrivono gli algoritmi di verifica per model checking di CTL e la generalizzazione a sistemi a transizioni con vincoli di fairness.
It describes algorithms for model checking verification of CTL and the generalization to transition systems with fairness constraints.

automatica di teoremi applicata alla verifica deduttiva, o model checking.
such as theorem proving applied to deductive verification or model checking.

Si presentano gli algoritmi simbolici per il model checking basati su Binary Decision Diagrams(BDD),
It presents symbolic algorithms for model checking, based on Binary Decision Diagrams(BDD),

combinando le tecniche di interpretazione astratta e model checking.
by combining abstract interpretation and model checking techniques.

Una ragione dei successi del model checking di hardware e' la possibilita' di ridurre il problema
A reason of the successes of hardware model checking has been the possibility of reducing the problem

interpolanti mediante dimostrazione di teoremi; raffinamento di astrazioni per model checking o analisi statica mediante dimostrazione di teoremi.
abstraction refinement for either model checking or static analysis by theorem proving Activities Research areas.

Tuttavia"Model checking" pone il problema delĺesplosione del numero dei possibili stati: la sua dimensione, ad esempio, supera spesso la capacità dello strumento di Model Checking.
However, Model Checking suffers from the state explosion problem, i.e., the size of the state-space often exceeds the capacity of the Model Checking tool.

e nella pallicazione del model checking completo nell'analisi del flusso di informazione sicura in componenti
system and in the application of complete model checking in the automatic certification of secure information flows

Gli strumenti del model checking si scontrano con la crescita esponenziale dell'insieme degli stati,
Model checking tools face a combinatorial blow up of the state-space,

nuovi strumenti automatici di verifica basati su model checking e interpretazione astratta,
specifying novel automatic tools based on model checking and abstract interpretation,

Task 2: Interpretazione astratta per il model checking di sistemi real-time e ibridi. In questo ambito siamo interessati nella estensione della teoria sviluppata per progettare interpretazioni astratte complete all'approssimazione di model checking di sistemi con componenti continue(real-time o ibridi e probabilistici).
Task 2: Abstract interpretation and model checking of real-time and hybrid systems In this field we are interested in extending the theory of complete abstract interpretation to the abstract model checking of systems with continuous information(either real-time or hybrid and probabilistic).

How to use "model checking" in an Italian sentence

Perfect model checking via unfold/fold transformations.

Mazzanti, Model Checking Value-Passing Modal Specifications.

Model checking temporal metric specification with Trio2Promela.

Practical Model Checking of LTL with Past.

Si potrebbe voler esaminare model checking codice.

Simbolic Model Checking con rappresentazione mediante OBDD.

Model checking norms and sanctions in institutions.

Model checking for detection of sport highlights.

Sebastianis, Model Checking Publish/Subscribe Notification for thinkteam.

A model checking approach to verify BPEL4WS workflows.

How to use "model checking" in an English sentence

Lazy Probabilistic Model Checking without Determinisation.

Statistical model checking for SystemC models.

Added analysis model checking for shells.

Model Checking Using Interval Decision Diagrams.

Task T9.6 works on model checking tools.

Model checking software finds those issues.

Added analysis model checking for element loads.

Model Checking Lossy Vector Addition Systems.

BDD-Based Software Model Checking with CPAchecker.

Model checking for probabilistic timed automata.