Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
of model-checking techniques
Examples with "of model-checking techniques" and their translation in Frans
Abstract: This dissertation proposes formal representations for programmable logic controllers that aim at improving the scalability of model-checking techniques.
Résumé : Ce mémoire propose des représentations formelles pour contrôleurs logiques industriels qui visent à améliorer le passage à l'échelle des techniques de model-checking.
Andere resultaten
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.
Abstract: In this thesis, we present the use of model checking techniques for inference of parameters of Gene Regulatory Networks (GRNs) and formal analysis of a signalling pathway.
Résumé : Dans ce mémoire, nous présentons l'utilisation de techniques de model-checking pour l'inférence de paramètres de réseaux de régulation génétique (GRN) et l'analyse formelle d'une voie de signalisation.
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.
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.
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.
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.
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 100. Exact: 1. Verstreken tijd: 115 ms.
