Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
model checking algorithm
Examples with "model checking algorithm" and their translation in Duits
Notice that we don't mean to propose a faster model checking algorithm.
Es ist dabei nicht das Ziel, einen schnelleren Model Checking Algorithmus vorzulegen.
Andere resultaten
Gaifman normal form serves as a first step in fixed-parameter model-checking algorithms, parameterised by the size of the formula, on sparse graph classes.
Sie haben eine wichtige Rolle in Model-Checking Algorithmen für Klassen dünn besetzter Graphen, deren Laufzeit durch die Größe der auszuwertenden Formel parametrisiert ist.
explain and implement algorithms and data structures for model checking,
Algorithmen und Datenstrukturen zur Modellprüfung erläutern und implementieren
We formulate our algorithms symbolically to benefit from efficient abstraction techniques of symbolic model checking.
Wir haben unsere Algorithmen symbolisch formuliert, sodass wir von effizienten Abstraktionstechniken aus dem Bereich des symbolischen Model Checking profitieren können.
algorithms and data structures for model checking,
Algorithmen und Datenstrukturen für die Modellprüfung,
Novel domain-specific modeling and abstraction techniques will be targeted to handle this complexity in scalable algorithms based on bounded and unbounded model checking.
Neuartige domänenspezifische Modellierungs- und Abstraktionstechniken werden daher benötigt, um die Komplexität mittels skalierbarer Algorithmen auf der Basis von Bounded und Unbounded Model Checking beherrschen zu können.
For performing the composition process, we present algorithms based on ideas from untimed planning theory and timed model checking.
Die Algorithmen, die den Kompositionsprozess durchführen, haben wir basierend auf nicht-zeitbehafteten Planungsalgorithmen und zeitbehaftetem Model Checking entwickelt.
The thesis examines model-checking problems for pushdown systems, improving previously known algorithms in terms of both asymptotic complexity and practical
Die Arbeit untersucht Model-Checking-Probleme auf Pushdown-Systemen, wobei sie zuvor bekannte Algorithmen verbessert, sowohl in asymptotischer Hinsicht als auch mi...
The verification algorithms for model checking, that were developed in combination with ASL for application to DATS models generated with the new trajectory-directed approach, offer a significant enhancement compared to the state of the art.
Die zusammen mit ASL entwickelten Model Checking-Verifikationsalgorithmen zur Auswertung von ASL-Spezifikationen auf einem mit dem Trajektorien-gesteuerten Diskretisierungsverfahren erzeugten DATS-Modell bilden eine wesentliche Erweiterung zum Stand der Technik.
The standard allows the interchange of algorithms (e.g. if a new hardware should be used) and the formal methods allow the rigid prove of functionality especially needed in safety critical applications (e.g. using model checking).
Während der SPS-Standard den Austausch von Algorithmen ermöglicht (z.B., wenn eine neue Hardware zum Einsatz kommen soll), stellt die Anwendung formaler Methoden die Möglichkeit dar, die Funktionalität der Programme nachzuweisen.
The method of model-checking is used for the formal verification.
Für die formale Verifikation wird die Methode des Model-Checking angewandt.
Experience with model checking, knowledge of automata theory is advantageous.
Erfahrung mit Model Checking und Kenntnis der Automatentheorie sind vorteilhaft.
The attainable states for both descriptions are preferably determined by model checking.
Für beide Beschreibungen werden jeweils die erreichbaren Zustände vorzugsweise mittels Model Checking ermittelt.
Synoniemen voor model checking algorithm in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 190. Exact: 1. Verstreken tijd: 249 ms.
