Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
model checking and
Vertaling van "model checking and" in Frans
model checking et
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.
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.
Specification of design ranges for individual signals in a bus for improved model checking and analysis
Spécification de plages de conception de signaux individuels dans un bus pour améliorer l'analyse et la vérification de modèles
Our methodology also considers the state explosion problem of a model checker and proposes a heuristic called hybrid verification combining model checking and simulation.
Nous prenons en compte le problème de l'explosion combinatoire de model-checking et finalement nous proposons une heuristique dite vérification hybride combinant model-checking et simulation.
We study weighted o minimal hybrid systems and show that this model is expressive though analysable, as model checking and optimal control are decidable, whereas these problems are undecidable for timed automata.
Nous étudions les systèmes hybrides o minimaux pondérés et établissons que ce modèle est expressif mais analysable puisque le model checking ainsi que le contrôle optimal sont décidables, ces problèmes étant indécidables pour les automates temporisés.
transformation of simple subset of psl into sere implication formulas for verification with model checking and simulation engines using semantic preserving rewrite rules
transformation d'un sous-ensemble simple de langage pls en des formules d'implication sere pour effectuer des vérifications au moyen de moteurs de vérification et de simulation, à l'aide de règles de réécriture à conservation sémantique
He proposed assessments of single null hypotheses without any specific alternative hypothesis which are applicable for both model checking and checking for prior-data conflict.
Il propose des évaluations des hypothèses nulles uniques, sans aucune contre-hypothèse spécifique, qui sont applicables à la fois à la vérification des modèles et au contrôle des conflits de données préalables.
Lastly, we motivate the use of importance splitting for statistical model checking and set up an optimal splitting algorithm.
Nous avons également introduit les méthodes multi-niveaux pour la vérification de propriétés rares et nous avons justifié et mis en place l'utilisation d'un algorithme multi-niveau optimal.
In the first approach we use symbolic model checking and pseudo-synchronous modeling, to perform property checking on RTL designs.
La première consiste à adapter la vérification symbolique de modèles, initialement dédiée aux circuits synchrones, pour la vérification des circuits asynchrones.
Research projects conducted at LIFO range from algorithmics to natural languages processing, from machine learning to massive parallelism, from model checking and certification to system security, from big data to embedded systems.
Elles vont de l'algorithmique au traitement des langues naturelles, de l'apprentissage au parallélisme massif, de la vérification et la certification à la sécurité des systèmes, du Big Data aux systèmes embarqués.
This dissertation focuses on the verification of concurrent systems, employing Petri nets to formalize them, and studies two prominent verification techniques: model checking and fault diagnosis.
Nous nous intéressons à la vérification des systèmes concurrents modélisés par des réseaux de Petri, en étudiant deux techniques remarquables de vérification: le 'model checking' et le diagnostic.
To handle at the same time state-based and process-based properties, morphism is established between the dynamic composite level and CSPZ (a combination of CSP and Z);The verification and validation process combine simulation, model checking and theorem proving techniques in a common framework.
Le processus de vérification et de validation combine la simulation, la vérification exhaustive de modèle (model checking) et la preuve de théorèmes (theorem proving) dans un Framework commun.
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.
Synoniemen voor model checking and in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 17. Exact: 17. Verstreken tijd: 333 ms.
