Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
a model checking
Examples with "a model checking" and their translation in Frans
then a model checking algorithm can be used to check the correctness condition on the observed signal in these "covered" states to prove or disprove the property.
un algorithme de vérification de modèle peut être ensuite utilisé pour vérifier l'état de non correction sur le signal observé dans ces états "couverts" afin de prouver ou réfuter la propriété.
The tool has been extended with a dynamic analysis approach based on the development of observers (implemented in the form of automata) and a model checking analysis of log files that record the application's activities.
L'outil a été étendu avec une approche d'analyse dynamique basée sur le développement d'observateurs (implantés sous forme d'automates), l'enregistrement de l'activité de l'application dans des fichiers journaux et l'analyse de ceux-ci par model checking.
Not only the proposed language is expressive enough to meet the targeted needs, it also comes with a model checking algorithm which runs in linear time with respect to the trace length and takes a constant amount of space.
En plus d'être suffisamment expressif pour répondre aux besoins identifées, il vient avec un algorithme de vérification qui s'exécute en temps linéaire avec la quantité d'information analysée et utilise une quantité bornée d'espace mémoire.
The method is divided into two parts, an interactive construction of an NTCC process from executed musical events through the program ANTESCOFO and a model checking module for the output.
La méthode est divisée en deux parties, une construction interactive d'un processus NTCC d'événements musicaux exécutés par l'entremise du programme Antescofo et un module de vérification de modèle pour la sortie.
In addition, we propose a model checking based method to check whether the behavior of a model respects some interoperability security policies.
De plus, nous proposons une méthode fondée sur la technique de model checking pour vérifier si le comportement des modèles utilisés dans notre processus de test respecte bien les politiques de sécurité.
In addition, we propose a model checking based method to check whether the behavior of a model respects some interoperability security policies.
De plus, nous proposons une méthode fondée sur la technique de model checking pour vérifier si le comportement des modèles utilisés dans notre processus de test respecte bien les politiques de sécurité.
A performance model checking device has a time information output command insertion unit, a model checking execution unit, and a counterexample trace analysis unit.
La présente invention concerne un dispositif de vérification de modèle de performances qui possède une unité d'insertion de commandes de sortie d'informations temporelles, une unité d'exécution de vérification de modèle et une unité d'analyse de trace de contre-exemple.
We finally use these two formal models in two different applications: a model checking tool for weighted modal formulae and an artifical player for a cooperative game called Hanabi in which decision making is based on graded belief reasoning.
Enfin, nous mettons en œuvre ces modèles théoriques dans deux applications : un outil de vérification de formules modales pondérées et un joueur artificiel pour le jeu coopératif Hanabi dont la prise de décision repose sur un raisonnement sur ses propres croyances.
Andere resultaten
The verification process uses a model-checking analysis based on linear state class graph.
La vérification utilise les techniques d'analyse formelle, basées sur l'utilisation conjointe du graphe de classes et de la logique linéaire.
Their correctness is formally verified through a model-checking technique supported by the linear temporal logic LTL.
Leur bon fonctionnement est vérifié formellement à travers une technique de model-checking supportée par la logique temporelle linéaire LTL.
To arrive at the automation of composition, we first show how one can reformulate this problem into a model-checking problem.
Pour arriver à l'automatisation de la composition, nous montrons d'abord comment on peut reformuler ce problème sous la forme d'un problème de model-checking.
Composys assists the model-maker in describing by a model and the associated documentation the various components of a system, automates models checkings and automates the production of associated, natural language, documents.
Composys aide le modélisateur à décrire par un modèle et la documentation associée, les différentes composantes d'un système, automatise les vérifications des modèles et automatise la production des documents en Français associés.
The hybrid modelling allows us to automatically analyse a BRN by a model-checking tool, for example HyTech, for cyclic behaviour (the so-called invariance kernel), stable states and paths between two given states.
Cette modélisation nous permet de faire l'analyse des AHL par l'outil de model-checking comme Hy-Tech pour l'accessibilité, les comportements cycliques comme le noyau d'invariance, les états stables et les chemins entre deux états donnés.
Synoniemen voor a model checking in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 56665. Exact: 8. Verstreken tijd: 766 ms.
