Examples with "techniques du model checking" and their translation in Engels
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.
Enfin, on définit l'application des techniques du model checking pour prouver la correction de l'analyse abstraite de notre approche.
Finally, we define how to apply model checking techniques to prove the correctness of the abstract analysis.
Andere resultaten
Pour commencer, nous présentons la vérification de deux protocoles de sécurité utilisant la technique du model checking.
First, we present the verification via model checking of two security protocols.
Basée sur les techniques du Software Model Checking et de la Vérification Dynamique, l'enjeu dans cette approche est d'appliquer les techniques associées au Model checking dans le cadre d'une vérification sur des implémentations réelles d'applications distribuées et non plus sur des modèles.
Based on Software Model Chekcking and Dynamic testing, the challenge in this approach is how to apply the methods derived from Model checking in the context of the verification of typical distributed applications and no longer on models.
Nous introduisons le R2C, notre contrôleur basé sur les hypothèses synchrones, ainsi que l'outil permettant sa génération en exploitant des techniques issues du model-checking symbolique.
Then we introduce the R2C, our controller based on synchronous hypothesis, and the tool used to generate this controller using symbolic model-checking techniques.
Deuxièmement, nous proposons de combiner cette méthode avec des techniques de model checking.
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.
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.
De plus, nous proposons une méthode fondée sur la technique de model checking pour vérifier si le comportement des modèles utilisés dans notre processus de test respecte bien les politiques de sécurité.
In addition, we propose a model checking based method to check whether the behavior of a model respects some interoperability security policies.
Leur bon fonctionnement est vérifié formellement à travers une technique de model-checking supportée par la logique temporelle linéaire LTL.
Their correctness is formally verified through a model-checking technique supported by the linear temporal logic LTL.
Par l'emploi de technique de model checking, nous avons établi des propriétés temporelles montrant que toute exécution d'une application mobile sur un périphérique mobile pouvait être déportée dans une Cloudlet sous condition d'une structure applicative.
Exploiting the model checking techniques, we have established temporal properties showing that any execution of a mobile application on a mobile device could be offloaded in a Cloudlet depending on a given software architecture.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
