Examples with "et le 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.
Dans un premier temps un système de notation à un niveau à été modélisé, implémenté et son efficacité analysée en utilisant deux méthodes (simulation pour les résultats quantitatifs et le model-checking pour les résultats qualitatifs.
The rating system was modelled, implemented and its efficiency was checked in two ways: (quantitative simulation and model checking for the qualitative results).
Dans la littérature, plusieurs travaux se sont basés sur la simulation et le model-checking pour étudier les SMA auto-organisateurs.
In the literature, several studies were based on simulation and model-checking to analyze self-organizing MAS.
Dans la littérature, plusieurs travaux se sont basés sur la simulation et le model-checking pour analyser les SMA auto-organisateurs.
In the literature, several works were based on simulation and model-checking to study self-organizing MAS.
Andere resultaten
Approches numériques et statistiques pour le model checking des processus stochastiques.
Numerical and statistical approaches for model checking of stochastic processes
Plus précisément, les automates temporisés stochastiques et le model checking statistique sont utilisés afin de mesurer la robustesse d'un ordonnancement perturbé.
More precisely, stochastic timed automata and statistical model-checking are used to measure the robustness of a perturbed schedule.
Finalement, pour le volet vérification, nous avons adopté une technique de vérification à base d'observateurs et qui repose sur le model-checking.
Finally, for the verification phase, we have adopted an observer-based technique.
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.
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.
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.
Quatre ans plus tard, en 1981, Edmund M. Clarke et Allen Emerson inventent CTL et le model checking.
Four years later in 1981 E. M. Clarke and E. A. Emerson invented CTL and CTL model checking.
Le model-checking fournit un support pour découvrir les blocages et les violations de propriétés.
Model checking provides support to discover deadlocks and violations of constraints.
Le model-checking fournit un support pour découvrir les blocages et les violations de propriétés.
Model checking provides support to discover deadlocks and properties violations.
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.
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.
