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 techniques
Tradução de "model-checking techniques" em francês
techniques de model-checking
des 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.
Provided that targeted biological properties are expressed in the form of LTL formulas, LTL model-checking techniques are combined with symbolic execution and constraint solving techniques to select discrete models satisfying these properties.
Sous réserve que les propriétés biologiques d'intérêt s'expriment sous la forme de formules LTL, les techniques de model-checking LTL sont combinées à celles d'exécution symbolique et de résolution de contraintes afin de sélectionner les modèles satisfaisant ces propriétés.
We propose a method based on extrapolation techniques on automata, and we study the power of this approach.- Regular model-checking techniques for the verification of parametrized networks with linear and tree-like topologies.
Nous proposons une méthode basée sur des techniques d'extrapolation sur les automates, et nous étudions la puissance de cette approche.- Techniques de model-checking régulier pour la vérification des réseaux paramétrés avec des topologies linéaires et arborescentes.
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.
Thus, model-checking techniques are combined to simulation techniques.
Elles sont alors combinées à des méthodes de simulation.
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.
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.
Then we introduce the R2C, our controller based on synchronous hypothesis, and the tool used to generate this controller using symbolic model-checking techniques.
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.
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.
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, we apply this method on the Model-Checking Techniques d'Abstraction
Enfin, on applique cette méthode dans le contexte de EB-3
The proposed techniques are an alternative to model-checking techniques.
Les techniques proposées constituent une alternative aux techniques de model-checking.
Sinônimos e analogias para "model-checking techniques" em inglês
Palavra e Expressão do Dia
Imagem do dia
Sugestões que contenham model-checking techniques
Resultados: 13. Exatos: 13. Tempo de resposta: 34 ms.
