Download for Windows Premium
Inschrijven Aanmelden met Google Aanmelden met Apple
Reverso Premium
Publiciteit
Model Checking Algorithmus

Examples with "Model Checking Algorithmus" and their translation in Engels

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.
Model Checking
model checking
Algorithmus
algorithm algorithms algo algorithmic
Es ist dabei nicht das Ziel, einen schnelleren Model Checking Algorithmus vorzulegen.
Notice that we don't mean to propose a faster model checking algorithm.

Andere resultaten

Für die formale Verifikation wird die Methode des Model-Checking angewandt.
The method of model-checking is used for the formal verification.
Erfahrung mit Model Checking und Kenntnis der Automatentheorie sind vorteilhaft.
Experience with model checking, knowledge of automata theory is advantageous.
Für beide Beschreibungen werden jeweils die erreichbaren Zustände vorzugsweise mittels Model Checking ermittelt.
The attainable states for both descriptions are preferably determined by model checking.
Das Model Checking von Softwaremodellen wird durch verschiedene Hindernisse erschwert.
Several obstacles complicate a successful application of model checking software models.
Mit dem Model-Checking werden formale Modelle auf dessen Verhalten und Spezifikation überprüft.
The formal models are checked by use of this method for their behaviour and specification.
Andererseits, gibt es eine große Anzahl an allgemeinen Model Checking Werkzeugen.
On the other hand, there is a large number of general purpose model checking tools available.
Zusammen mit Christel Baier veröffentlichte Katoen das Buch Principles of Model Checking.
Together with Christel Baier he wrote and published the book Principles of Model Checking.
Zu seinen wissenschaftlichen Schwerpunkten zählten IT-Sicherheit, Kryptographie, Model Checking und Compilerbau.
His interest and research topics were IT security, cryptography, model checking and compiler.
Für den Bereich „Model-Checking" können zusätzlich mehrere Applikationen bereitgestellt werden.
Several applications can be provided for model checking. projects referring to
Des Weiteren muss die Anwendung der kompositionellen Verifikation einen Effizienzvorteil gegenüber dem direkten Model Checking erbringen.
Furthermore, an application of compositional reasoning must provide an efficiency advantage over monolithic model checking.
Sie kennen Konzepte und Werkzeuge für die automatische, formale Analyse dieser Eigenschaften durch Model-Checking.
The students will know concepts and tools for the automated formal analysis of these properties using model-checking.
Mit der Technik Model-Checking wird automatisch geprüft, ob die Modelle diese Eigenschaften erfüllen.
With the aid of model checking the conformity of the models to these properties is automatically verified.
Er zijn geen resultaten gevonden voor deze term.

Synoniemen voor Model Checking Algorithmus in het Duits

Publiciteit

Resultaten: 103. Exact: 1. Verstreken tijd: 133 ms.