Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
and Model Checking
Vertaling van "and Model Checking" in Frans
et de model checking
et Model Checking
et le model checking
BIM and Model Checking: what it is and why validation data processes are needed
BIM et Model Checking: de quoi s'agit-il et pourquoi les processus de validation des données sont-ils nécessaires ?
Second, we tackle some of the algorithmic questions that naturally arise in this context, like evaluation, satisfiability and model checking.
On s'intéresse ensuite aux questions algorithmiques que soulèvent naturellement ces résultats, tels que l'évaluation, la satisfaction et le model checking.
We demonstrate that the combined use of discrete abstraction and model checking makes it possible to check efficiently the dynamical properties, expressed in temporal logic, of continuous models.
Nous montrons que l'utilisation combinée d'abstraction discrète et de model checking permet de vérifier efficacement les propriétés dynamiques, exprimées en logique temporelle, des modèles continus.
It accomplishes this by using, extending and expanding on known techniques for safety-oriented source code analysis - including abstract interpretations, deductive verifications and model checking.
Il atteint cet objectif en utilisant et développant des techniques connues pour analyser la sécurité du code source, y compris des interprétations abstraites, des vérifications déductives et la vérification de modèle.
Traceability rules composer and model checking under these rules
Compositeur de règles de traçabilité et vérification de modèle sous ces règles
The formalism we propose for behavior analysis by abstraction relies on the theory of string and terms rewriting, word and tree languages and model checking.
Le formalisme d'analyse comportementale par abstraction que nous proposons repose sur la théorie de la réécriture de mots et de termes, les langages réguliers de mots et de termes et le model checking.
The rating system was modelled, implemented and its efficiency was checked in two ways: (quantitative simulation and model checking for the qualitative results).
Dans un premier temps un système de notation à un niveau à été modélisé, implémenté et son efficacité analysée en utilisant deux méthodes (simulation pour les résultats quantitatifs et le model-checking pour les résultats qualitatifs.
Abstract: In this dissertation, we explore the use of temporal logic and model checking in systems biology.
Résumé : Cette dissertation explore l'utilisation de la logique temporelle et de la vérification de mod- èle en biologie des systèmes.
These methods are demonstrated on data from simulated tapping experiments, and the relationship between these statistics and model checking will be discussed. Site Navigation
Ces méthodes sont démontrées par des données issues d'expériences simulées de tapotements, et la relation entre ces statistiques et la vérification du modèle sera discutée.
Correlations can be explicited o reduce the semantic gap between domain and model checking knowledge.
Pour y parvenir, il faut disposer du domaine et corréler les connaissances du domaine et du model checking pour réduire leur fossé sémantique.
This push-button technology effectively combines three techniques namely the on-the-fly model checking using lazy data types, constrained theorem-proving and model checking via propositional satisfiability checking.
Cette technologie à bouton-poussoir combine de manière efficace trois techniques, à savoir la vérification de modèles en direct à l'aide de types de données inactives, la démonstration de théorèmes limites et la vérification de modèles via la vérification de la satisfaisabilité propositionnelle.
BIM and Model checking applied to the single disciplinary model and to the integrated model (Merged Model) [...]
BIM et Model Checking appliqués au modèle disciplinaire unique et au modèle intégré (modèle fusionné) [...]
We demonstrate that the combined use of discrete abstraction and model checking makes it possible to check efficiently the dynamical properties, expressed in temporal logic, of continuous models.This method has been implemented in a new version of the tool Genetic Network Analyzer (GNA 6.0).
Nous montrons que l'utilisation combinée d'abstraction discrète et de model checking permet de vérifier efficacement les propriétés dynamiques, exprimées en logique temporelle, des modèles continus.Cette méthode a été implémentée dans une nouvelle version de l'outil Genetic Network Analyzer (GNA 6.0).
Synoniemen voor and Model Checking in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 15. Exact: 15. Verstreken tijd: 489 ms.
