We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
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.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
