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.
Les techniques proposées constituent une alternative aux techniques de model-checking.
The proposed techniques are an alternative to model-checking techniques.
Enfin, l'étude de son problème de model-checking offre un mécanisme de vérification automatique et correct de la conformité du code.
Finally, the study of its model-checking problem provides a mechanism for the automatic and correct verification of code compliance.
Dans cette thèse, nous envisageons des problèmes de model-checking d'ordre supérieur à l'aide d'approches issues de la sémantique et de la logique.
This thesis studies problems of higher-order model-checking from a semantic and logical perspective.
La principale contribution est une nouvelle approche de model-checking pour la détection des malwares en tenant compte du comportement de la pile.
The main contribution of this thesis is a new model-checking approach for malware detection taking into account the behavior of the stack.
Pour arriver à l'automatisation de la composition, nous montrons d'abord comment on peut reformuler ce problème sous la forme d'un problème de model-checking.
To arrive at the automation of composition, we first show how one can reformulate this problem into a model-checking problem.
Nous prenons en compte le problème de l'explosion combinatoire de model-checking et finalement nous proposons une heuristique dite vérification hybride combinant model-checking et simulation.
Our methodology also considers the state explosion problem of a model checker and proposes a heuristic called hybrid verification combining model checking and simulation.
Une contre-mesure empêchant ces attaques par saut d'instruction, en remplaçant chaque instruction par une séquence d'instructions, a été construite et vérifiée formellement à l'aide d'outils de model-checking.
A countermeasure that prevents such instruction skip attacks has been designed and formally verified with model-checking tool.
Nous étudions les propriétés de régularité et de clôture des langages temporisés générés par ces automates et proposons des algorithmes de model-checking pour des fragments de logiques temporelles temporisées.
We study properties of regularity and closure of the time languages accepted by these automata and give some model-checking algorithms for fragments of timed temporal logics.
proposer des abstractions qui favorisent la vérification du modèle par le moteur de model-checking temporel.
put forward abstractions in order to improve the model-checking time and memory consumption.
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 regardons entre autres des algorithmes de model-checking, permettant de découvrir des erreurs au moment de la spécification d'un système distribué par des MSCs.
We consider model checking problems, that can be used to discover design errors during distributed systems specification.
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.
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.
We also show that the complexity of model-checking and satisfiability problems for USL is equivalent to that for pre-existing formalisms.
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.
