Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
model-checking and
Examples with "model-checking and" and their translation in Frans
We propose new algorithms for the model-checking and the satisfiability problems of that logic.
Nous proposons des nouveaux algorithmes pour les problèmes de vérification et de satisfaisabilité.
Hence, not only precise specification and design was provided, but also proof model-checking and simulation techniques.
Il ne permet donc pas seulement une spécification et une conception très précises, mais fournit également des techniques de vérification des modèles et de simulation.
As model-centered approaches are now widespread in the development of industrial systems, we also investigate the coupling of model-checking and model-based testing.
Les approches de développement dirigées par des modèles étant actuellement très répandus dans l'industrie, nous étudions également le couplage des techniques de model-checking et du test basé sur des modèles.
Finally, we give an overview of recent research aiming to build a fruitful link between machine learning, logic programming, model-checking and bioinformatics.
Enfin, nous revenons sur des résultats plus récents, consécutifs à l'établissement de liens fructueux entre l'apprentissage automatique, la programmation logique, le model-checking et la bio-informatique, ce qui nous permet de faire émerger un ensemble de nouvelles questions scientifiques.
Such checks include proof techniques, model-checking and simulation techniques, thus enabling the foundation guidelines to be established as well as the expansion of methodologies and technological enhancements.
Ces contrôles couvrent les techniques d'essai, la vérification des modèles et les techniques de simulation, permettant ainsi l'établissement de directives fondamentales, ainsi que le développement de méthodologies et les améliorations techniques.
We also show that the complexity of model-checking and satisfiability problems for USL is equivalent to that for pre-existing formalisms.
Nous montrons par ailleurs que la complexité des problèmes de model-checking et de satisfiabilité pour USL est équivalente à celle des formalismes pré-existants.
Concerning Flatland, we show that both model-checking and satisfiability problem are decidable but the exact complexities and the axiomatization remain open problems.
Tout au long de cette thèse, on s'efforcera de s'intéresser aux aspects logiques comme les complétudes des axiomatisations et la complexité du problème de satisfiabilité d'une formule logique.
Description en anglais Autre description In this thesis, we consider Pushdown Systems (PDSs) model-checking and its application to malware detection anc software model-checking.
Dans cette thèse, nous considérons le problème de vérification des systèmes à pile (PDS) et son application à la détection de codes malveillants et à la vérification du logiciel.
We propose new algorithms for the model-checking and the satisfiability problems of that logic.
Nous proposons des nouveaux algorithmes pour les problèmes de vérification et de satisfaisabilité.
Andere resultaten
Defining a second approach for detecting vulnerabilities which combines model checking and fault injection techniques.
Définition d'une approche de détection de vulnérabilités combinant le model checking et l'injection de fautes.
His main areas of interest include modelling, formal verification, model checking and Petri networks.
Ses principaux domaines d'intérêt sont la modélisation, la vérification formelle, le model checking et les réseaux de Petri.
In our thesis we propose a test methodology based on model checking and static analysis.
Dans notre thèse on propose une méthodologie de test basée sur des techniques issues des domaines de la vérification et de l'analyse statique.
Although both model checking and satisfiability are hard in general, several major algorithmic meta-theorems show that properties expressed in this way can be tested efficiently for important classes of graphs.
Bien que la vérification de modèle et la satisfiabilité soient difficiles en général, plusieurs méta-théorèmes algorithmiques majeurs montrent que les propriétés exprimées de cette manière peuvent être testées efficacement pour d'importantes classes de graphes.
Synoniemen voor model-checking and in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 443. Exact: 9. Verstreken tijd: 117 ms.
