Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
of model-checking
Vertaling van "of model-checking" in Frans
de model-checking
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.
Then we reduce the satisfaction of correction criteria expressing the assignment problem in Khi to instances of model-checking in an adequate version of USL, USLKhi.
Nous réduisons ensuite la satisfaction des critères de correction qui expriment le problème de l'assignation dans Khi à des instances du problème de model-checking pour une version adéquate de USL, USLKhi.
Such weak dependences will be studied in the framework of model-checking games.
De telles dépendances faibles seront étudiées au travers de jeux de model checking.
The verification method adopted is that of model-checking.
La méthode de vérification adoptée est celle de l'évaluation sur modèle (model-checking).
For proving this kind of properties, we propose a semi-automatic verification technique which attempts to combine some of the advantages of model-checking, abstract interpretation and interactive proof.
Pour ces propriétés, nous proposons une technique de vérification semi-automatique qui tente de combiner les avantages du model-checking, interprétation abstraite et preuve interactive.
As model-centered approaches are now widespread in the development of industrial systems, we also investigate the coupling of model-checking and model-based testing.
Les approches de développement dirigées par des modèles étant actuellement très répandus dans l'industrie, nous étudions également le couplage des techniques de model-checking et du test basé sur des modèles.
This approach allowed us to define semantics for behavioral aspects of object-based or component-based distributed applications, but also a notion of finite abstraction of the behavioral models, opening the use of model-checking tools.
Cette approche nous a permis de définir une sémantique comportementale pour différents aspects des applications à base d'objets ou de composants distribués, mais aussi une notion d'abstraction vers des modèles abstraits finis, permettant d'utiliser des outils de vérification de type "model-checking".
We also show that the complexity of model-checking and satisfiability problems for USL is equivalent to that for pre-existing formalisms.
Nous montrons par ailleurs que la complexité des problèmes de model-checking et de satisfiabilité pour USL est équivalente à celle des formalismes pré-existants.
The adaptation of model-checking of traditional systems to component-based systems is central to CBR.
L'adaptation de la vérification des modèles des systèmes traditionnels aux systèmes basés sur des composants constitue un élément central du CBR.
We address the problem of model-checking for our logics, especially we provide a PSPACE algorithm for the sublogics involving only memoryless strategies and an EXPSPACE algorithm for the bounded-memory case.
Nous donnons un algorithme PSPACE pour la logique n'impliquant que des stratégies sans memoire, et un algorithme EXPSPACE pour le cas des stratégies a memoire bornee.
This approach allowed us to define semantics for behavioral aspects of object-based or component-based distributed applications, but also a notion of finite abstraction of the behavioral models, opening the use of model-checking tools.
Cette approche nous a permis de définir une sémantique comportementale pour différents aspects des applications à base d'objets ou de composants distribués, mais aussi une notion d'abstraction vers des modèles abstraits finis, permettant d'utiliser des outils de vérification de type "model-checking".
Synoniemen voor of model-checking in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 11. Exact: 11. Verstreken tijd: 39 ms.
