Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
of model checking
Vertaling van "of model checking" in Frans
du model-checking
model checking
Moreover, our results enable us to improve existing results and establish new ones, in the domains of model checking epistemic temporal logics, and epistemic planning.
Par ailleurs, nos résultats permettent d'améliorer des résultats existants et d'en établir de nouveaux, dans les domaines du model-checking des logiques temporelles et épistémiques, ainsi que de la planification épistémique.
In 2007, Joseph Sifakis has received the Turing Award for his contribution to the theory and application of model checking, the most widely used system verification technique today.
En 2007, Joseph Sifakis a obtenu le Prix Turing pour sa contribution à la théorie et l'application du model-checking, la technique de vérification de systèmes informatiques la plus largement utilisée actuellement.
His research group pioneered the use of model checking for hardware verification.
Son groupe de recherche est alors pionnier dans l'usage du model checking pour la vérification du matériel.
Formal verification is a key technique to model the system and its properties and then perform verification by means of model checking.
La vérification formelle est une technique essentielle pour modéliser le système et ses propriétés et s'assurer de sa correction au moyen du model checking.
The methodology is based on the extraction of a control flow graph representing the source code and the use of model checking to verify properties related to each feature found in the software program.
La méthodologie développée se base sur l'extraction d'un graphe de flux de contrôle représentant le code source et l'utilisation de model checking pour vérifier diverses propriétés reliées aux fonctionnalités du logiciel.
The model checking problem of a con current system is decomposed into a plurality of model checking problems on individual threads of the multi-threaded software.
Le problème de vérification de modèle d'un système concurrent est décomposé en une pluralité de problèmes de vérification de modèle sur des filières individuelles du logiciel multifilière.
The algorithmic problem of model checking concerns testing whether a given graph models a given sentence.
Le problème algorithmique de vérification du modèle (model checking) est relatif au fait de savoir si un graphe est un modèle d'une proposition donnée.
Valuable experience gained with the Axxom case study showed that the application of model checking techniques for scheduling is promising.
La précieuse expérience acquise avec l'étude de cas Axxom a montré que l'application de techniques de vérification de modèle pour la planification se révèle prometteuse.
He received the Herbrand Award in 2008 in "recognition of his role in the invention of model checking and his sustained leadership in the area for more than two decades."
En 2008, il reçoit le Prix Herbrand « en reconnaissance de son rôle dans l'invention du model checking et de son leadership constant dans ce domaine pendant plus de deux décennies ».
This is surprising because the computational complexity of model checking in CTL* is not worse than that of LTL: they both lie in PSPACE.
Ceci est surprenant, car la complexité algorithmique du model checking CTL* n'est pas pire que celle du model checking LTL : ces deux problèmes sont dans PSPACE.
Abstract: In this thesis, we present the use of model checking techniques for inference of parameters of Gene Regulatory Networks (GRNs) and formal analysis of a signalling pathway.
Résumé : Dans ce mémoire, nous présentons l'utilisation de techniques de model-checking pour l'inférence de paramètres de réseaux de régulation génétique (GRN) et l'analyse formelle d'une voie de signalisation.
Abstract: Reachability analysis is part of model checking.
Résumé : L'analyse d'accessibilité est une des composantes de l'analyse de modèles.
Clarke, Emerson, and Sifakis shared the 2007 Turing Award for their seminal work founding and developing the field of model checking.
Clarke, Emerson et Sifakis se sont vu attribuer le prix Turing 2007 pour leurs travaux sur le model checking,.
Synoniemen voor of model checking in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 15. Exact: 15. Verstreken tijd: 50 ms.
