Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
model-checking technique
Examples with "model-checking technique" and their translation in Frans
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.
The proposed approach can be applied to platoon with different configurations, and allows for dynamic change of proposed verification method uses the model-checking technique.
L'approche proposée s'applique a des convois suivant plusieurs types de configuration, et permet des changements dynamiques de configuration.L'approche proposée pour la vérification de propriétés de sûreté des convois de véhicules, adopte le model-checking comme technique de preuve.
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.
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.
Thus, model-checking techniques are combined to simulation techniques.
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.
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.
Finally, we apply this method on the Model-Checking Techniques d'Abstraction
Enfin, on applique cette méthode dans le contexte de EB-3
Synoniemen voor model-checking technique in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 81. Exact: 2. Verstreken tijd: 134 ms.
