Download for Windows Premium
Inschrijven Aanmelden met Google Aanmelden met Apple
Reverso Premium
Publiciteit
Model Checking technique

Examples with "Model Checking technique" and their translation in Frans

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.
Model Checking
model checking vérification de modèle model-checking vérification de modèles vérification des modèles
technique
technique méthode procédé pratique jeu
We propose a formal verification methodology based on the Model Checking technique.
Nous proposons une méthodologie de vérification formelle basée sur les techniques de Model Checking.

Andere resultaten

Secondly, we propose to combine this method with model-checking techniques.
Deuxièmement, nous proposons de combiner cette méthode avec des techniques de model checking.
Secondly, we propose to combine this method with model-checking techniques.
Deuxièmement, nous proposons de combiner cette méthode avec des techniques de model checking.
The proposed techniques are an alternative to model-checking techniques.
Les techniques proposées constituent une alternative aux techniques de model-checking.
We are interested in analyzing the performability requirements of mobile communication systems by using model checking techniques.
Nous nous intéressons à l'analyse des exigences de performabilité des systèmes communicants mobiles par model checking.
Finally, we define how to apply model checking techniques to prove the correctness of the abstract analysis.
Enfin, on définit l'application des techniques du model checking pour prouver la correction de l'analyse abstraite de notre approche.
For such nondeterministic models, we propose a symbolic simulation scheme inspired by model checking techniques for timed automata.
Pour ce type de modèle non déterministe, nous proposons une simulation symbolique, inspirée des techniques de vérification des automates temporisés.
Thus, model-checking techniques are combined to simulation techniques.
Elles sont alors combinées à des méthodes de simulation.
Abstract: This work focuses on verification of automated systems using model-checking techniques.
Résumé : Cette thèse s'intéresse à la vérification de systèmes automatisables par model-checking.
Finally, most of the existing modeling and simulation tools are not capable of applying model-checking techniques in a transparent way.
Enfin, la plupart des modèles existants et des outils de simulation ne sont pas capables d'appliquer des techniques de model checking d'une manière transparente.
Finally, most of the existing modeling and simulation tools are not capable of applying model-checking techniques in a transparent way.
Enfin, la plupart des modèles existants et des outils de simulation ne sont pas capables d'appliquer des techniques de model checking d'une manière transparente.
Valuable experience gained with the Axxom case study showed that the application of model checking techniques for scheduling is promising.
La précieuse expérience acquise avec l'étude de cas Axxom a montré que l'application de techniques de vérification de modèle pour la planification se révèle prometteuse.
Their correctness is formally verified through a model-checking technique supported by the linear temporal logic LTL.
Leur bon fonctionnement est vérifié formellement à travers une technique de model-checking supportée par la logique temporelle linéaire LTL.
Er zijn geen resultaten gevonden voor deze term.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.

Synoniemen voor Model Checking technique in het Engels

Woord & uitdrukking van de dag
Afbeelding van de dag
kite: light frame flown in the wind on a string
Ontdek het woord
kite
Publiciteit

Resultaten: 396. Exact: 1. Verstreken tijd: 355 ms.