Cependant, ils disposent de peu d'outils logiciels permettant d'appliquer des algorithmes efficaces du model-checking.
Yet, they lack software tools enabling the application of efficient model checking algorithms.
Cette méthodologie, combinée avec le model-checking statistique, est appliquée avec succès à un cas d'étude industriel.
Combined with statistical model checking, this methodology is successfully applied to the verification of an industrial case study.
Le model-checking fournit un support pour découvrir les blocages et les violations de propriétés.
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.
Model checking provides support to discover deadlocks and properties violations.
Les techniques proposées constituent une alternative aux techniques de model-checking.
The proposed techniques are an alternative to model-checking techniques.
Enfin, l'étude de son problème de model-checking offre un mécanisme de vérification automatique et correct de la conformité du code.
Finally, the study of its model-checking problem provides a mechanism for the automatic and correct verification of code compliance.
Dans cette thèse, nous envisageons des problèmes de model-checking d'ordre supérieur à l'aide d'approches issues de la sémantique et de la logique.
This thesis studies problems of higher-order model-checking from a semantic and logical perspective.
Comprendre les techniques algorithmiques d'analyse et de vérification et de preuve (model-checking)
Understand the algorithmic techniques of analysis and verification and proof (model-checking)
La principale contribution est une nouvelle approche de model-checking pour la détection des malwares en tenant compte du comportement de la pile.
The main contribution of this thesis is a new model-checking approach for malware detection taking into account the behavior of the stack.
Cette reformulation donne une définition formelle au problème de la composition et nous permet de réutiliser les méthodes et outils qui ont été développés pour le model-checking.
This reformulation gives a formal definition to the composition problem and allows us to reuse the methods and tools which have been developed for model-checking.
Dans le cadre du model-checking, je montre comment générer aléatoirement un nombre fini de chemins pour savoir si une propriété est satisfaite avec une certaine probabilité.
Regarding model-checking, I show how to generate a random number of finite paths to check if a property is satisfied with a certain probability.
Potentially sensitive or inappropriate content
Examples are used only to help you translate the word or expression searched in various contexts. They are not selected or validated by us and can contain inappropriate terms or ideas. Please report examples to be edited or not to be displayed. Potentially sensitive, inappropriate or colloquial translations are usually marked in red or in orange.
