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.
by model checking
Ce phénomène constitue l'obstacle principal de la vérification automatique par model checking.
This phenomenon constitutes the principal obstacle of the automatic checking by model checking.
Elle est fondée sur la vérification formelle par model checking, la composition parallèle d'automates finis et l'expertise métier.
It is based on formal verification by model checking, parallel composition of finite sate automata and technical expertise.
Néanmoins, grâce à une étape préalable de discrétisation temporelle, nous avons également implémenté un neurone complet en Lustre qui est un langage formel autorisant des preuves par model checking.
Nevertheless, thanks to a preliminary step of temporal discretization, we have also implemented a complete neuron in Lustre which is a formal language allowing proofs by model checking.
Nous nous intéressons à l'analyse des exigences de performabilité des systèmes communicants mobiles par model checking.
L'outil a été étendu avec une approche d'analyse dynamique basée sur le développement d'observateurs (implantés sous forme d'automates), l'enregistrement de l'activité de l'application dans des fichiers journaux et l'analyse de ceux-ci par model checking.
The tool has been extended with a dynamic analysis approach based on the development of observers (implemented in the form of automata) and a model checking analysis of log files that record the application's activities.
Dans les travaux de Basu et al., le contrôle distribué est obtenu en pré-calculant par model checking la connaissance de chaque processus, qui reflète dans un état local donné toutes les configurations possibles des autres processus.
In Basu et al., distributed control is achieved by first using model checking to precalculate the knowledge of each process, which reflects in a given local state all the possible situations of the other processes.
Dans les travaux de Basu et al., le contrôle distribué est obtenu en pré-calculant par model checking la connaissance de chaque processus, qui reflète dans un état local donné toutes les configurations possibles des autres processus.
In Basu et al., distributed control is achieved by first using model checking to precalculate the knowledge of each process, which reflects in a given local state all the possible situations of the other processes.
Résumé : Nous nous intéressons à l'analyse des exigences de performabilité des systèmes communicants mobiles par model checking.
Abstract: We are interested in analyzing the performability requirements of mobile communication systems by using model checking techniques.
Nous avons en outre développé un outil appelé INICheck qui permet de convertir automatiquement un sous-ensemble d'INI vers Promela pour permettre un analyse par model checking à l'aide de l'interpréteur SPIN.
Furthermore, we develop a tool called INICheck, which can convert a significant subset of INI to Promela, the input modeling language of the model checker SPIN.
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.
