Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
model-checking problem
Vertaling van "model-checking problem" in Frans
problème de model-checking
This is called the model-checking problem.
C'est ce que l'on appelle le problème du model-checking.
Finally, the study of its model-checking problem provides a mechanism for the automatic and correct verification of code compliance.
Enfin, l'étude de son problème de model-checking offre un mécanisme de vérification automatique et correct de la conformité du code.
To arrive at the automation of composition, we first show how one can reformulate this problem into a model-checking problem.
Pour arriver à l'automatisation de la composition, nous montrons d'abord comment on peut reformuler ce problème sous la forme d'un problème de model-checking.
Abstract: We consider in this thesis the model-checking problem of infinite state systems, namely parametrized systems and recursive multithreaded programs.
Résumé : Nous nous intéressons dans cette thèse au model-checking des systèmes infinis, notamment les systèmes paramétrés et les programmes récursifs parallèles.
Then, we consider the LTL model-checking problem of self-modifying code.
Ensuite, nous résolvons les problèmes sur la vérification de propriétés LTL et CTL pour le code auto-modifiant.
We present an algorithm for the model-checking problem of WTmu.
Nous proposons des algorithmes pour la vérification des systèmes lorsque les propriétés sont écrites en WTmu.
We show that the model-checking problem of DPNs against CARET formulas is decidable.
La détection de malware est alors réduite au problème de model-checking des automates à pile par rapport à ces logiques CARET.
Reducing the malware detection problem to the model-checking problem of PDSs against SCTPL/SLTPL formulas.
La réduction du problème de détection de codes malveillants auproblème de model-checking de PDS contre des formules SCTPL / SLTPL.
Synoniemen voor model-checking problem in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 8. Exact: 8. Verstreken tijd: 262 ms.
