Ces propriétés peuvent être évaluées en utilisant le probabilistic model checking.
Such properties can be evaluated by using probabilistic model checking.
Ce phénomène constitue l'obstacle principal de la vérification automatique par model checking.
This phenomenon constitutes the principal obstacle of the automatic checking by model checking.
La vérification des propriétés de vivacité se fait à l'aide de model checking.
The verification of liveness properties can beachieved with model checking.
Son groupe de recherche est alors pionnier dans l'usage du model checking pour la vérification du matériel.
His research group pioneered the use of model checking for hardware verification.
Pour commencer, nous présentons la vérification de deux protocoles de sécurité utilisant la technique du model checking.
First, we present the verification via model checking of two security protocols.
Nous traitons ces défis pour une technique spécifique: le model checking.
We address these challenges for a specific quality assurance technique: model checking.
Approches numériques et statistiques pour le model checking des processus stochastiques.
Numerical and statistical approaches for model checking of stochastic processes
Définition d'une approche de détection de vulnérabilités combinant le model checking et l'injection de fautes.
Defining a second approach for detecting vulnerabilities which combines model checking and fault injection techniques.
Premièrement, nous abordons le problème de parcours de graphes en model checking avec des prouveurs automatiques.
First, we address the graph traversal problems in model checking with automated theorem provers.
Elle est fondée sur la vérification formelle par model checking, la composition parallèle d'automates finis et l'expertise métier.
It is based on formal verification by model checking, parallel composition of finite sate automata and technical expertise.
Par ailleurs, le model checking permet d'évaluer la correction de ces systèmes de manière entièrement automatique.
On the other hand, model checking allows to assess the correctness of such systems in a fully automatic manner.
Nous établissons des résultats de décidabilité et complexité pour des problèmes de model checking impliquant diverses instances de ces extensions.
We establish decidability and complexity results for model checking problems involving several instances of such extensions.
Quand la cause réelle opère sur des connaissances autres que celles du model checking, ces moyens sont alors insuffisants.
Even so, these means are insufficient when the real cause doesn't operate on model checking knowledge.
Contenu potentiellement sensible ou inapproprié
Les exemples vous aident à traduire le mot ou l’expression cherchés dans des contextes variés. Ils ne sont ni sélectionnés ni validés par nous et peuvent contenir des mots ou des idées inappropriés. Signalez des exemples à modifier ou à retirer. Les traductions potentiellement sensibles, inappropriées ou familières sont généralement marquées de rouge ou d’orange.
