Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
Model-checking as
Examples with "Model-checking as" and their translation in Frans
Model-checking as a proof technique.
Le model-checking comme outil de preuve.
Andere resultaten
Then we present the way of translating model checking problems as proving first-order formulas in Deduction Modulo.
Nous présentons ensuite comment formuler les problèmes de model checking comme des formules du premier ordre en Déduction Modulo.
Description: Model checking was introduced as a procedure to check correctness of concurrent programs.
Description: Le modèle de vérification a été présenté comme une procédure afin de vérifier l'exactitude des programmes concurrents.
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 use model checking techniques as well to precalculate a minimal set of synchronization points, where joint knowledge, i.e., knowledge common to several processes, can be achieved during short coordination phases.
Nous utilisons de même des techniques de model checking pour pré-calculer un ensemble minimal de points de synchronisation au niveau desquels plusieurs processus partagent leur connaissance au court de brèves périodes de coordination.
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.
We are interested in the semantics of these languages, in the integration of formal specifications through extensions of these languages, in the application of verification methods, in particular those based on model-checking, as well as in testing.
Nous nous intéressons à la sémantique de ces langages, à l'intégration de spécifications formelles via des extensions de ces langages, à l'application de méthodes de vérification, basées notamment sur le model-checking, ainsi qu'au test.
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 ».
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.
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.
Synoniemen voor Model-checking as in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 443. Exact: 1. Verstreken tijd: 112 ms.
