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.
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.
Le Model checking est une technique de vérification qui explore tous les états possibles du système.
Model Checking is a verification technique that explores all possible states of the system.
L'enjeu majeur est de réussir à appliquer les techniques associées au Model checking dans le cadre d'une vérification sur des implémentations réelles d'applications distribuées et non plus sur des modèles abstraits.
The challenge in this approach is how to apply the methods derived from Model checking in the context of the verification of legacy distributed applications (without access to source code) and no longer on abstract models.
Pour ces graphes RDF de grande taille, nous suggérons une nouvelle façon en utilisant la vérification formelle "Le Model checking".
For these large RDF graphs, we propose a new way using formal verification entitled "Model Checking".
Nous proposons une approche nommé ScaleSem qui consiste à transformer les graphes sémantiques en graphes compréhensibles par le model checker (l'outil de vérification de la méthode Model checking).
We propose an approach called ScaleSem which transforms semantic graphs into graphs understood by the Model Checker (The verification Tool of the Model Checking method).
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.
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.
