Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
as model checking
Vertaling van "as model checking" in Frans
que le model checking
Learn and discuss capabilities such as model checking, coverage measurement, requirements management, and static analysis at the code level to increase the quality of your design.
Venez discuter de concepts comme la vérification de règles de modélisation, la mesure de couverture, la gestion des exigences et l'analyse statique pour augmenter la qualité de votre logiciel.
One reason for this is that current quality assurance techniques used in the development of these systems, such as model checking, are designed for systems with no variability.
En effet, les techniques d'assurance qualité utilisées dans le développement de ce type de systèmes, telles que le model checking, ne peuvent traiter que des systèmes sans variabilité.
We study weighted o minimal hybrid systems and show that this model is expressive though analysable, as model checking and optimal control are decidable, whereas these problems are undecidable for timed automata.
Nous étudions les systèmes hybrides o minimaux pondérés et établissons que ce modèle est expressif mais analysable puisque le model checking ainsi que le contrôle optimal sont décidables, ces problèmes étant indécidables pour les automates temporisés.
Abstract: Automatic formal verification such as model checking faces the combinatorial explosion issue, and thus limits its application in industrial projects.
Résumé : Les techniques formelles de la famille « vérification de modèles » (« model checking ») se heurtent au problème de l'explosion combinatoire.
Safety Engineering is a major SE process, yet the use of formal methods such as model checking, however powerful they may be, is hampered by their intrinsic complexity.
La maîtrise de la Sûreté de Fonctionnement est un processus essentiel de l'IS et, dans sa poursuite, le recours à des méthodes formelles telles que le model checking se heurte généralement à des difficultés d'utilisation.
Safety Engineering is a major SE process, yet the use of formal methods such as model checking, however powerful they may be, is hampered by their intrinsic complexity.
La maîtrise de la Sûreté de Fonctionnement est un processus essentiel de l'IS et, dans sa poursuite, le recours à des méthodes formelles telles que le model checking se heurte généralement à des diffcultés d'utilisation.
One reason for this is that current quality assurance techniques used in the development of these systems, such as model checking, are designed for systems with no variability.
En effet, les techniques d'assurance qualité utilisées dans le développement de ce type de systèmes, telles que le model checking, ne peuvent traiter que des systèmes sans variabilité.
We study weighted o minimal hybrid systems and show that this model is expressive though analysable, as model checking and optimal control are decidable, whereas these problems are undecidable for timed automata.
Nous étudions les systèmes hybrides o minimaux pondérés et établissons que ce modèle est expressif mais analysable puisque le model checking ainsi que le contrôle optimal sont décidables, ces problèmes étant indécidables pour les automates temporisés.
Synoniemen voor as model checking in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 8. Exact: 8. Verstreken tijd: 352 ms.
