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.
Nous traitons ces défis pour une technique spécifique: le model checking.
We address these challenges for a specific quality assurance technique: model checking.
Approches numériques et statistiques pour le model checking des processus stochastiques.
Numerical and statistical approaches for model checking of stochastic processes
Définition d'une approche de détection de vulnérabilités combinant le model checking et l'injection de fautes.
Defining a second approach for detecting vulnerabilities which combines model checking and fault injection techniques.
Par ailleurs, le model checking permet d'évaluer la correction de ces systèmes de manière entièrement automatique.
On the other hand, model checking allows to assess the correctness of such systems in a fully automatic manner.
Nous proposons une démarche basée sur le model checking qui permet de détecter les éventuels conflits temporisés qui peuvent surgir dans une chorégraphie.
We propose an approach based on model checking to detect the conflicts that may arise in timed choreography.
On s'intéresse ensuite aux questions algorithmiques que soulèvent naturellement ces résultats, tels que l'évaluation, la satisfaction et le model checking.
Second, we tackle some of the algorithmic questions that naturally arise in this context, like evaluation, satisfiability and model checking.
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é.
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.
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 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.
Les travaux existants sur la vérification de telles propriétés utilisent généralement le model checking dont l'efficacité pour le domaine des systèmes d'information est plutôt réduite à cause de l'explosion combinatoire de l'espace des états.
Existing work on the verification of such properties typically use model checking whose effectiveness for data-intensive applications is rather limited due to the combinatorial explosion of the state space.
Le formalisme d'analyse comportementale par abstraction que nous proposons repose sur la théorie de la réécriture de mots et de termes, les langages réguliers de mots et de termes et le model checking.
The formalism we propose for behavior analysis by abstraction relies on the theory of string and terms rewriting, word and tree languages and model checking.
Résumé : En effectuant une exploration exhaustive de tous les comportements possibles du système, le model checking fait face au problème de l'explosion de cet espace d'états.
Abstract: By exhaustively exploring all possible behaviours of the system, model checking has to face the state space explosion problem.
Dans la seconde moitié du cycle en V, nos méthodes de vérification (qui utilisent l'interprétation abstraite, l'analyse statique et, bientôt, le model checking), fournissent des prestations d'une qualité exceptionnelle pour les programmes automates.
In the second half of the V-cycle, our verification methods, using abstract interpretation, static analysis and, soon, model checking, do provide unprecedented quality benefits to PLC programs.
Résumé : Dans cette thèse, nous considérons deux problèmes auxquels le model checking statistique doit faire face.
Abstract: In this thesis, we consider two problems that statistical model checking must cope.
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.
