Examples with "technique de model-checking" and their translation in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Leur bon fonctionnement est vérifié formellement à travers une technique de model-checking supportée par la logique temporelle linéaire LTL.
Their correctness is formally verified through a model-checking technique supported by the linear temporal logic LTL.
Andere resultaten
Deuxièmement, nous proposons de combiner cette méthode avec des techniques de model checking.
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.
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.
Finally, most of the existing modeling and simulation tools are not capable of applying model-checking techniques in a transparent way.
De plus, nous proposons une méthode fondée sur la technique de model checking pour vérifier si le comportement des modèles utilisés dans notre processus de test respecte bien les politiques de sécurité.
In addition, we propose a model checking based method to check whether the behavior of a model respects some interoperability security policies.
Par l'emploi de technique de model checking, nous avons établi des propriétés temporelles montrant que toute exécution d'une application mobile sur un périphérique mobile pouvait être déportée dans une Cloudlet sous condition d'une structure applicative.
Exploiting the model checking techniques, we have established temporal properties showing that any execution of a mobile application on a mobile device could be offloaded in a Cloudlet depending on a given software architecture.
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 dissertation proposes formal representations for programmable logic controllers that aim at improving the scalability of model-checking techniques.
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.
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.
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.
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 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.
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.
La technique de model checking proposée est basée sur les FTS), un nouveau formalisme introduit dans cette thèse.
The proposed model checking approach is based on Featured Transition Systems (FTS), a novel formalism introduced in this thesis.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
