Examples with "eines 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.
Aus diesen Gründen ist die Wahl eines Model Checking Ansatzes für die Generierung von Testfällen im Rahmen eines modellbasierten Modultestverfahrens eine logische Konsequenz.
Therefore, the use of model checking for the generation of test-cases is a beneficial approach to improve the quality in a model-based software development with executable, state-based models.
Andere resultaten
Im Rahmen eines Model Checkings wird versucht, eine Eigenschaft an einem technischen System nachzuweisen.
The objective of the invention is to detect a characteristic in a technical system with reference to model checking.
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.
In dieser Arbeit stellen wir einen Ansatz zum Model Checking von speicherbezogenen Eigenschaften für digitale HW/SW Systeme vor.
In this thesis, we present an approach for model checking of memoryrelated properties on digital HW/SW systems.
Die letzte Vorlesung des Tages war Orna Grumbergs letzter Vortrag, den sie mit einer Übersicht über Model Checking und Beweiswerkzeuge beendete.
The last session of the day was Orna Grumberg's last lecture, which she concluded with an overview of model checking and theorem proving tools.
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.
Vor diesem Hintergrund stellen wir einen Online Model Checking Mechanismus vor, um die Korrektheit eines aktuellen Ausführungspfades, anstatt die gesamte Korrektheit der eingebetteten Software, sicherzustellen.
Against this background, we present an online model checking mechanism aimed to ensure the correctness of the actual execution trace, instead of the universal correctness, of the embedded software system.
Natürlich stellt sich nun die Frage, ob der Benutzer eines industriellen Software Design Werkzeuges nun das eingebaute Verifizierungs-Werkzeug benutzen sollte, oder ob er eines der allgemeinen Model Checking Werkzeuge bevorzugen sollte.
The question whether users of the industrial strength design tool preferably use the built-in verification tool or a general purpose model checking tool arises quite naturally.
Das Interesse von Helmut Veith am Gebiet der Verifikation wurde in den späten 1990er Jahren durch eine Gastvorlesung zum Thema Model Checking an der TU Wien geweckt.
Helmut Veith became interested in computer aided verification in the late 1990s after taking a guest lecture course in model checking given by Orna Grumberg.
Im Jahr 2010 schließlich folgte sein Wechsel an die TU Wien auf die neu geschaffene Professur für Computer Das Interesse von Helmut Veith am Gebiet der Verifikation wurde in den späten 1990er Jahren durch eine Gastvorlesung zum Thema Model Checking an der TU Wien geweckt.
He returned to the TU Wien in 2010, and was the inaugural holder of the professorial chair in computer aided verification. Helmut Veith became interested in computer aided verification in the late 1990s after taking a guest lecture course in model checking given by Orna Grumberg.
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.
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.
