Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
le model checking
Vertaling van "le model checking" in Engels
model checking
model-checking
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.
Par ailleurs, le model checking permet d'évaluer la correction de ces systèmes de manière entièrement automatique.
On the other hand, model checking allows to assess the correctness of such systems in a fully automatic manner.
Pourquoi attendre + de 2 semaines avant de démarrer le model checking?
Why wait more than 2 weeks before starting the model checking?
Plus précisément, les automates temporisés stochastiques et le model checking statistique sont utilisés afin de mesurer la robustesse d'un ordonnancement perturbé.
More precisely, stochastic timed automata and statistical model-checking are used to measure the robustness of a perturbed schedule.
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.
On s'intéresse ensuite aux questions algorithmiques que soulèvent naturellement ces résultats, tels que l'évaluation, la satisfaction et le model checking.
Second, we tackle some of the algorithmic questions that naturally arise in this context, like evaluation, satisfiability and model checking.
Les techniques de vérification formelle basées sur le model checking constituent une technologie puissante pour faire face à cette augmentation d'échelle et de complexité pour l'analyse de ces réseaux.
Formal verification techniques based on model-checking have recently been used to the analysis of these networks, providing a powerful technology to keep up with this increase in scale and complexity.
En effet, les techniques d'assurance qualité utilisées dans le développement de ce type de systèmes, telles que le model checking, ne peuvent traiter que des systèmes sans variabilité.
One reason for this is that current quality assurance techniques used in the development of these systems, such as model checking, are designed for systems with no variability.
Nous étudions les systèmes hybrides o minimaux pondérés et établissons que ce modèle est expressif mais analysable puisque le model checking ainsi que le contrôle optimal sont décidables, ces problèmes étant indécidables pour les automates temporisés.
We study weighted o minimal hybrid systems and show that this model is expressive though analysable, as model checking and optimal control are decidable, whereas these problems are undecidable for timed automata.
Les travaux existants sur la vérification de telles propriétés utilisent généralement le model checking dont l'efficacité pour le domaine des systèmes d'information est plutôt réduite à cause de l'explosion combinatoire de l'espace des états.
Existing work on the verification of such properties typically use model checking whose effectiveness for data-intensive applications is rather limited due to the combinatorial explosion of the state space.
Le formalisme d'analyse comportementale par abstraction que nous proposons repose sur la théorie de la réécriture de mots et de termes, les langages réguliers de mots et de termes et le model checking.
The formalism we propose for behavior analysis by abstraction relies on the theory of string and terms rewriting, word and tree languages and model checking.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor le model checking in het Frans
Suggesties
Resultaten: 41. Exact: 41. Verstreken tijd: 108 ms.
