Examples with "et 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.
Les modèles de comportement que nous construisons sont suffisamment précis pour permettre la vérification par instanciation finie et model-checking, mais aussi pour
The behavioural models we build are precise enough to allow veri fication by finite instantiation and model-checking, but also to use veri fication techniques for infi nite systems.
L'équipe a des compétences dans les domaines de la vérification de systèmes infinis, systèmes temporisés et hybrides, logiques temporelles, jeux et model-checking, model-checking quantitatif, vérification de programmes.
The team has competences in infinite-state verification, verification/synthesis of timed and hybrids systems, temporal logics, games and model-checking, quantitative model-checking, program verification.
Les TGTA permettent d'améliorer les approches explicite et symbolique de model-checking.
Approches numériques et statistiques pour le model checking des processus stochastiques.
Numerical and statistical approaches for model checking of stochastic processes
En particulier, nous contribuons l'analyse par PCTL et stochastic model checking.
In particular, we contribute analysis via PCTL and stochastic model checking to add to the confidence in the controller.
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.
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.
Ses principaux domaines d'intérêt sont la modélisation, la vérification formelle, le model checking et les réseaux de Petri.
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.
Comprendre les techniques algorithmiques d'analyse et de vérification et de preuve (model-checking)
Understand the algorithmic techniques of analysis and verification and proof (model-checking)
Nous montrons que l'utilisation combinée d'abstraction discrète et de model checking permet de vérifier efficacement les propriétés dynamiques, exprimées en logique temporelle, des modèles continus.
We demonstrate that the combined use of discrete abstraction and model checking makes it possible to check efficiently the dynamical properties, expressed in temporal logic, of continuous models.
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.
