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.
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.
L'approche formelle la plus répandue dans l'industrie est le Model Checking.
Model Checking is one of those approaches and is probably the most prevalent in industry.
Systerel propose une gamme de solutions éprouvées industriellement pour l'analyse statique ou la preuve formelle de systèmes ou de logiciels à l'aide de technologies à base de Model Checking.
Systerel offers a range of industrially proven solutions using Model Checking based technologies for the static analysis and formal proof of systems and software.
BIM et Model Checking: de quoi s'agit-il et pourquoi les processus de validation des données sont-ils nécessaires ?
BIM and Model Checking: what it is and why validation data processes are needed
BIM et Model Checking appliqués au modèle disciplinaire unique et au modèle intégré (modèle fusionné) [...]
BIM and Model checking applied to the single disciplinary model and to the integrated model (Merged Model) [...]
Pour surmonter ce problème, nous proposons un cadre de vérification sur la base Statistical Model Checking.
To overcome this problem, we propose a verification framework based on Statistical Model Checking.
Pour ce faire, on s'appuie sur le cadre du Model Checking Modulo Theories (MCMT), développé par Ghilardi et Ranise, qui permet la vérification de propriétés de sûreté de programmes concurrents paramétrés, c'est-à-dire mettant en oeuvre un nombre arbitraire de processus.
For this purpose, we rely on the Model Checking Modulo Theories (MCMT) framework, developed by Ghilardi and Ranise, which allows for the verification of safety properties of parameterized concurrent programs, that is to say, programs involving an arbitrary number of processes.
Nous utilisons donc une nouvelle méthode d'approximation, appelée Model Checking Statistique Paramétrique.
We therefore develop a new approximation method, called Parametric Statistical Model Checking.
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.
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.
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.
