Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
model checking approach
Examples with "model checking approach" and their translation in Frans
The automatic construction of test cases based on the model checking approach (the main TGV feature) is hindered by the state explosion problem.
La génération de test de conformité fondée sur des techniques de vérification par modèles (l'approche employée par TGV) est limitée par le problème d'explosion d'état.
The proposed model checking approach is based on Featured Transition Systems (FTS), a novel formalism introduced in this thesis.
La technique de model checking proposée est basée sur les FTS), un nouveau formalisme introduit dans cette thèse.
The proposed model checking approach is based on Featured Transition Systems (FTS), a novel formalism introduced in this thesis.
La technique de model checking proposée est basée sur les Featured Transition Systems (FTS), un nouveau formalisme introduit dans cette thèse.
Andere resultaten
The main contribution of this thesis is a new model-checking approach for malware detection taking into account the behavior of the stack.
La principale contribution est une nouvelle approche de model-checking pour la détection des malwares en tenant compte du comportement de la pile.
We also propose a new validation algorithm and exploited planning-as-model-checking approach to validate the semantic BPMN model whether it is Well-formed and Well-defined BPMN process.
Afin de valider notre modèle sémantique nous avons utilisé une approche de type « model-checking ».
The model-checking approach consists in translating the application into a labelled transition system model, on which the correctness properties, expressed as temporal logic formulas, are verified by means of specific algorithms.
L'approche basée sur les modèles (model-checking) consiste à traduire l'application vers un modèle système de transitions étiquetées, sur lequel les propriétés de bon fonctionnement, exprimées comme formules de logique temporelle, sont vérifiées au moyen d'algorithmes spécifiques.
Using model checking, our approach permits the verification of properties over the system formal specification.
Reposant sur la technique de "model checking", notre approche permet la vérification de propriétés sur la spécification formelle du système.
Using model checking, our approach permits the verification of properties over the system formal specification.
Reposant sur la technique de "model checking", notre approche permet la vérification de propriétés sur la spécification formelle du système.
With the aim of improving the model checking results of this approach, we explore abstraction techniques for information systems specified inEB-3.
Dans le but d'améliorer les résultats de notre approche concernant le model checking, on explore des techniques d'abstraction dédiées aux systèmes d'information spécifiées en EB-3.
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.
We propose an approach based on model checking to detect the conflicts that may arise in timed choreography.
Nous proposons une démarche basée sur le model checking qui permet de détecter les éventuels conflits temporisés qui peuvent surgir dans une chorégraphie.
We propose an approach based on model checking to detect the conflicts that may arise in timed choreography.
Nous proposons une démarche basée sur le model checking qui permet de détecter les éventuels conflits temporisés qui peuvent surgir dans une chorégraphie.
The formalization in terms of a temporal logic and statistical model checking are the formal foundations of the developed approach.
La formalisation en termes de logique temporelle et la vérification statistique de modèles sont les fondements formels de l'approche.
Synoniemen voor model checking approach in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 399. Exact: 3. Verstreken tijd: 630 ms.
