Examples with "durch Model Checking" 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.
Besonders geeignet erscheinen Hybride Automaten, weil ihre formale Semantik die Verifikation durch Model Checking erlaubt.
The semantics of hybrid automata make them accessible to formal verification by means of model checking.
Auf Basis dieser Systembeschreibung werden zwei Arten von Überprüfungen durchgeführt: regelbasierte Berechnungen und Verifikation durch Model Checking.
As evaluation means two different concepts are applied: rule-based calculations and verification by model checking.
Andere resultaten
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.
Es werden bekannte Werkzeuge aus dem Bereich der Logikprogrammierung eingesetzt, um Objekt-Petrinetze zu animieren (d.h. auszuführen), zu kompilieren und zu verifizieren (durch Model-Checking).
The method is developed for OPNs with arbitrary nesting. We then apply logic programming tools to animate (i.e. execute), compile and model check OPNs.
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.
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.
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.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
