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.
of model checking
model-checking
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.
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.
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.
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.
C'est ce que l'on appelle le problème du model-checking.
Cependant, ils disposent de peu d'outils logiciels permettant d'appliquer des algorithmes efficaces du model-checking.
Yet, they lack software tools enabling the application of efficient model checking algorithms.
Dans le cadre du model-checking, je montre comment générer aléatoirement un nombre fini de chemins pour savoir si une propriété est satisfaite avec une certaine probabilité.
Regarding model-checking, I show how to generate a random number of finite paths to check if a property is satisfied with a certain probability.
Notre dernière contribution est la décidabilité du problème du model-checking pour le flux temporel linéaire, sous des hypothèses appropriées concernant les théories du premier ordre impliquées.
The last contribution is the decidability of the model checking problem for linear flows of time under suitable hypothesis over the first-order theories involved.
Pour ces propriétés, nous proposons une technique de vérification semi-automatique qui tente de combiner les avantages du model-checking, interprétation abstraite et preuve interactive.
For proving this kind of properties, we propose a semi-automatic verification technique which attempts to combine some of the advantages of model-checking, abstract interpretation and interactive proof.
Nous verrons que ces concepts contribuent de façon particulièrement naturelle à l'étude du model-checking d'ordre supérieur.
Dans la partie vérification, pour le problème du model-checking régulier indécidable en général, deux nouvelles techniques d'approximation sont définies, dans le but de fournir des (semi-)algorithmes efficaces.
In the verification part, for the problem of regular model checking undecidable in general, two new approximation techniques are defined in order to provide efficient (semi-)algorithms.
Nous introduisons le R2C, notre contrôleur basé sur les hypothèses synchrones, ainsi que l'outil permettant sa génération en exploitant des techniques issues du model-checking symbolique.
Then we introduce the R2C, our controller based on synchronous hypothesis, and the tool used to generate this controller using symbolic model-checking techniques.
Résumé : Dans cette thèse, on s'interesse au probleme de l'explosion combinatoire du model-checking sur des systèmes modulaires.
Abstract: In this thesis, we are interested in limiting the combinatorial explosion that happens when modelchecking modular systems.
L'approche par automates du model-checking est la plus classique des approches de vérification automatique.
One of the widely-used formal verification methods is the automata-theoretic approach to model checking.
Pour réduire la complexité du model-checking, nous avons proposé une technique permettant de réduire significativement la complexité de la vérification.
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.
