Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
Model Checking
Vertaling van "Model Checking" in Frans
model checking
vérification de modèle
model-checking
vérification de modèles
vérification des modèles
vérification du modèle
contrôle du modèle
exploration de modèle
Such properties can be evaluated by using probabilistic model checking.
Ces propriétés peuvent être évaluées en utilisant le probabilistic model checking.
This phenomenon constitutes the principal obstacle of the automatic checking by model checking.
Ce phénomène constitue l'obstacle principal de la vérification automatique par model checking.
In principle this problem can be formulated as a case of Real Time Model Checking on a concurrent model such as a Time Petri Net or a Timed Automaton.
En principe, ce problème peut être formulé sous la forme d'un cas de vérification de modèle temps réel sur un modèle concurrent tel qu'un réseau de Petri temporel ou un automate temporisé.
In the aforementioned parameter generation, parametric model checking is performed.
Dans la génération du paramètre précité, une vérification de modèle paramétrique est effectuée.
Model checking provides support to discover deadlocks and violations of constraints.
Le model-checking fournit un support pour découvrir les blocages et les violations de propriétés.
Yet, they lack software tools enabling the application of efficient model checking algorithms.
Cependant, ils disposent de peu d'outils logiciels permettant d'appliquer des algorithmes efficaces du model-checking.
We propose a formal verification methodology based on the Model Checking technique.
Nous proposons une méthodologie de vérification formelle basée sur les techniques de Model Checking.
Model Checking is a verification technique that explores all possible states of the system.
Le Model checking est une technique de vérification qui explore tous les états possibles du système.
Model Checking is one of those approaches and is probably the most prevalent in industry.
L'approche formelle la plus répandue dans l'industrie est le Model Checking.
Systerel offers a range of industrially proven solutions using Model Checking based technologies for the static analysis and formal proof of systems and software.
Systerel propose une gamme de solutions éprouvées industriellement pour l'analyse statique ou la preuve formelle de systèmes ou de logiciels à l'aide de technologies à base de Model Checking.
Our methodology is inspired by Regular Model Checking where the set of program states are represented as lattice automata and the program semantics are encoded using rewriting systems applied on the language recognized by the automata.
Notre méthodologie s'inspire du Regular Model Checking en représentant des ensembles d'états de programmes concurrents sous la forme d'automates de treillis et la sémantique de ces programmes comme la réécriture des langages reconnus par ces automates.
BIM and Model Checking: what it is and why validation data processes are needed
BIM et Model Checking: de quoi s'agit-il et pourquoi les processus de validation des données sont-ils nécessaires ?
For these large RDF graphs, we propose a new way using formal verification entitled "Model Checking".
Pour ces graphes RDF de grande taille, nous suggérons une nouvelle façon en utilisant la vérification formelle "Le Model checking".
Synoniemen voor Model Checking in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 265. Exact: 265. Verstreken tijd: 63 ms.
