Examples of using Model checking in French and their translations into English
{-}
-
Colloquial
-
Official
Activité de model checking.
Model checking" symbolique de réseaux biochimiques.
Symbolic model checking of biochemical networks.Vérification par model checking.
Based on model checking.Model checking de systèmes concurrents et distribués.
Model Checking of Distributed and Concurrent Systems.Activité de model checking.
Publications in Model Checking.Le model checking est une technique de vérification formelle.
Model checking is a formal verification technique.Méthodes formelles et model checking.
Methods and model checking.Les qui le Model Checking Contest.
The Model Checking Contest.Méthodes formelles et model checking.
Formal languages and model checking.Titre: Model checking de systèmes temporisés et probabilistes.
Title: Model checking de systèmes temporisés et probabilistes.Vérification par model checking.
Formal Verification by Model Checking.BIM et Model Checking appliqués au modèle disciplinaire unique.
BIM and Model checking applied to the single disciplinary Pour leurs travaux sur le model checking.
On the Construction of Model Checking.BIM et Model Checking: découvrons ensemble la détection des conflits Clash.
BIM and Model Checking: let's find out about Clash Detection and Code Logiques temporelles pour le model checking.
Temporal logics as a foundation for model checking.Vous êtes iciAccueilSolibri Model Checking Solibri Model Checking Solibri Model Checking. .
Algorithmique des graphes et matroïdes, model checking.
Graph and matroid algorithms and model checking.Analyses statiques formelles: model checking, interprétation abstraite.
Formal static analysis: model checking, abstract interpretation.La vérification des processus métier par le model checking.
Verification of Process Operations Using Model Checking.Spot est une bibliothèque C++ de model checking utilisant l'approche par automates.
Spot is a C++ library that relies on the automata theoretic approach to model checking.
