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 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.
Formal methods, in particular model checking, have been less frequently explored.
Les méthodes formelles, en particulier la vérification de modèle, ont été moins souvent explorées.
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.
Combined with statistical model checking, this methodology is successfully applied to the verification of an industrial case study.
Cette méthodologie, combinée avec le model-checking statistique, est appliquée avec succès à un cas d'étude industriel.
The verification of liveness properties can beachieved with model checking.
La vérification des propriétés de vivacité se fait à l'aide de model checking.
His research group pioneered the use of model checking for hardware verification.
Son groupe de recherche est alors pionnier dans l'usage du model checking pour la vérification du matériel.
First, we present the verification via model checking of two security protocols.
Pour commencer, nous présentons la vérification de deux protocoles de sécurité utilisant la technique du model checking.
We address these challenges for a specific quality assurance technique: model checking.
Nous traitons ces défis pour une technique spécifique: le model checking.
Numerical and statistical approaches for model checking of stochastic processes
Approches numériques et statistiques pour le model checking des processus stochastiques.
Defining a second approach for detecting vulnerabilities which combines model checking and fault injection techniques.
Définition d'une approche de détection de vulnérabilités combinant le model checking et l'injection de fautes.
First, we address the graph traversal problems in model checking with automated theorem provers.
Premièrement, nous abordons le problème de parcours de graphes en model checking avec des prouveurs automatiques.
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.
