Ces propriétés peuvent être évaluées en utilisant le probabilistic model checking.
Such properties can be evaluated by using probabilistic 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 contribue au fact checking concernant les signataires.
It contributes to fact checking the signatories.
La vérification des propriétés de vivacité se fait à l'aide de model checking.
The verification of liveness properties can beachieved with model checking.
Les messages checking... ne sont pas affichés au cours du processus de configuration.
Do not print checking... messages during the configure process.
Son groupe de recherche est alors pionnier dans l'usage du model checking pour la vérification du matériel.
His research group pioneered the use of model checking for hardware verification.
Pour commencer, nous présentons la vérification de deux protocoles de sécurité utilisant la technique du model checking.
First, we present the verification via model checking of two security protocols.
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
It's worth checking out d'avoir une occasion de gagner les grands mâles qu'offrent ces tournois.
It is worth checking out to have a opportunity to win the mega bucks these tournaments provide.
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.
Il y a une alternative à cette proposition, qui consiste à tester les pilules, ce qu'on nomme le drug checking.
There is an alternative to this proposal in the form of drug checking.
It's worth checking out pour avoir une chance à de gros prix qu'offrent ces compétitions.
It's worth checking out to have a opportunity to win the big bucks these competitions offer.
