Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
as model-checking
Examples with "as model-checking" and their translation in Frans
Then, we propose an exploitation of formal methods, such as model-checking, to validate and check properties of the model and complement usual methods like tests and simulations.
Ensuite, sur le plan de la vérification et de la validation, nous proposons d'exploiter les méthodes formelles, telles que le model-checking, en complément des tests et des simulations habituellement utilisées dans l'industrie.
Then, we propose an exploitation of formal methods, such as model-checking, to validate and check properties of the model and complement usual methods like tests andsimulations.
Ensuite, sur le plan de la vérification et de la validation, nous proposons d'exploiter les méthodes formelles, telles que le model-checking, encomplément des tests et des simulations habituellement utilisées dans l'industrie.
There are numerous target compilation languages, among which the language of binary decision diagrams (BDDs), which have been successfully used in various domains of artificial intelligence, such as model-checking, configuration, or planning.
Il existe de nombreux langages-cible de compilation, notamment le langage des diagrammes de décision binaires (BDDs), qui ont été utilisés avec succès dans divers domaines de l'intelligence artificielle, tels le model-checking, la configuration ou la planification.
Andere resultaten
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.
We also propose a new validation algorithm and exploited planning-as-model-checking approach to validate the semantic BPMN model whether it is Well-formed and Well-defined BPMN process.
Afin de valider notre modèle sémantique nous avons utilisé une approche de type « model-checking ».
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 diffculté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 difficultés d'utilisation.
As such, model checking normally used in industry may automatically establish the correctness of finite-state systems, including descriptions of hardware and protocols.
À ce titre, la vérification des modèles utilisée normalement dans l'industrie pourrait établir automatiquement l'exactitude des systèmes à états finis, et notamment des descriptions de matériel et de protocoles.
The contest issue is contribute to improve these tools performance known as "model-checking" so they can scale on more and more study cases.
L'enjeu du concours est de contribuer à améliorer les performances de ces outils dits de "model-checking" afin qu'ils puissent passer à l'échelle sur de plus en plus de cas d'étude.
the labels and the structure of the transition system are then used as input to model checking techniques to analyse the software code
les étiquettes et la structure du système de transition sont ensuite utilisées comme entrée pour les techniques de vérification de modèle pour analyser le code logiciel
Synoniemen voor as model-checking in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 443. Exact: 3. Verstreken tijd: 122 ms.
