Tradução de voz, recursos offline, sinónimos, conjugação, jogos de aprendizado
Publicidade
Registe-se gratuitamente: aceda a mais resultados e funcionalidades
model-checking problem
Tradução de "model-checking problem" em francês
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.
Sinônimos e analogias para "model-checking problem" em inglês
Palavra e Expressão do Dia
Imagem do dia
Resultados: 8. Exatos: 8. Tempo de resposta: 268 ms.
