What is the translation of " MODEL CHECKING " in German?

• Model Checking

Examples of using Model checking in English and their translations into German

Model checking/ safety critical systems.
Model Checking/ Sicherheitskritische Systeme.

Verification by model checking of temporal logics.
Verifikation mittels Modellprüfung temporaler Logiken.

Semi-automatic verification methods for distributed algorithms abstract model checking.
Halbautomatische Verifikationsverfahren für verteilte Algorithmen Abstraktes Model Checking.

BIM and Model Checking: what it is and why validation data processes are needed.
BIM und Model Checking: worum es sich handelt und warum Prozesse der Datenvalidierung notwendig sind.

Amir Pnueli talked about Symbolic model checking, and Eric C. R.
Amir Pnueli redete über Symbolic model checking, und Eric C.R.

Well readable, semi-formal contracts can be easily assigned to the specific system architecture and automatically validated through model checking.
Gut lesbare, semi-formale Contracts können so der spezifizierten Systemarchitektur einfach zugeordnet und automatisiert über Modellprüfungen validiert werden.

A DFG-funded project on directed and parallel model checking of high-level specifications.
Ein durch die DFG gefördertes Projekt das gerichtete und paralleles Model Checking von Spezifikationen auf hohem Abstraktionsniveau untersucht.

To achieve this goal, a new model-based approach to automated unit-testing on the basis of state-based behavioural models and CTL Model Checking is presented.
Zu diesem Zweck wird eine neuartige Testmethode präsentiert, die auf automatenbasierten Verhaltensmodellen und CTL Model Checking basiert.

The lectures of this day were Orna Grumberg's second part CTL model checking, Pamela Zave's talk about Specification and verification of telecommunication lines;
Die heutigen Vorlesungen waren Orna Grumbergs zweiter Teil CTL model checking, Pamela Zaves Vortag über Specification and verification of telecommunication lines;

In the last few years, we invented some novel techniques for HW/SW co-verification, in particular for model checking and test automatization.
In den letzten Jahren haben wir am Fachgebiet SESE verschiedene Techniken zur HW/SW Co-Verifikation entwickelt, unter anderem zum Model Checking und zum Testen von HW/SW Systemen.

The integration of deductive software verification and bounded model checking(BMC) is subject of our current activities and is joint work together with the working group of Dr. C. Sinz.
Die Integration von deduktiver Programmverifikation und Bounded Model Checking(BMC) ist Gegenstand aktueller Arbeiten in Zusammenarbeit mit der Arbeitsgruppe von Dr. C. Sinz.

The model checking approach has been developed for the verification of communication protocols and it was applied successfully to a wide range of problems in the field of technical software modelling..
Der Ansatz des Model Checking stammt ursprünglich aus dem Entwurf von Kommunikationsprotokollen und wurde bereits erfolgreich auf verschiedene Probleme der Modellierung technischer Software angewendet.

For the analysis of systems containing non-deterministic components, probabilistic model checking(PMC) is a promising formal approach.
Zur Untersuchung von Systemen mit nicht-deterministischem Komponentenverhalten erweist sich das Probabilistic Model Checking(PMC) als viel versprechender Ansatz.

He is one of the most recognized scientists in the field of model checking- his book"Principles of Model Checking," co-authored with the Dresden professor Christel Baier, is the standard work in the field.
Er zählt hierbei zu den wichtigsten Fachleuten Europas, sein gemeinsames Buch mit der Dresdenerin Christel Baier Buch"Principles of Model Checking" ist das Standardwerk der Disziplin.

Model checking already has been approved an efficient and flexible method for the automated generation of test-cases from specifications in the form of finite state-machines.
In aktuellen Entwicklungen hat sich für die Generierung von Testfällen auf Basis von Zustandsautomaten die Verwendung von Model Checking als effiziente und an die vielfältigsten Testprobleme anpassbare Methode bewährt.

The main objective of the project is to study the potential of automatically deriving abstractions for infinite model checking through a combination of existing technology for the automatic control of partial evaluation and abstract interpretation.
Hauptziel des Projekts ist die Untersuchung des Potentials von automatisch abgeleiteten Abstraktionen für das Model Checking von unendlichen Zustandsräumen durch eine Kombination von bestehenden Techniken der automatischen Kontrolle von partieller Auswertung und abstrakter Interpretation.

PUMA Program and Model Analysis" is the title of a Research Training Group that aims to study and develop four current approaches to model and program analysis- verification by proof of theory, model checking, abstract interpretation and type systems.
PUMA Programm- und Modell-Analyse" ist der Titel des Graduiertenkollegs, das vier aktuelle Ansätze zur Modell- und Programmanalyse untersuchen und weiterentwickeln will: die Verifikation durch Theorembeweise, das Model Checking, die Abstrakte Interpretation und die Typsysteme.

The model check quickly detects entry errors such as identical nodes or double members and deletes them.
Die Modellkontrolle entdeckt schnell Eingabefehler wie identische Knoten oder doppelte Stäbe und beseitigt diese.

After switching on your transmitter and model check that there is no interference.
Nach dem Einschalten des Senders und des Modells überprüfen Sie, ob es Störungen der Anlage gibt.

In RFEM 5 and RSTAB 8 it is possible to save problems and warnings occurring during the model check as an extra view.
In RFEM 5 und RSTAB 8 ist es möglich, die bei einer Modellkontrolle auftretenden Probleme und Warnungen extra als Ansicht zu speichern.

The Meriva had the lowest defect rate among 113 different models checked by Germany's TÜV in 2007.
Der deutsche TÜV bescheinigte dem Meriva 2007 die niedrigste Mängelrate unter 113 verschiedenen überprüften Modellen.

While is displayed, the automatic model check is operating.
Während blinkt, wird automatisch ermittelt, welches Modell installiert ist.

Before you run the model check that the radio control system is working reliably, and that all connections are secure.
Kontrollieren Sie, bevor Sie das Modell fahren lassen, dieses auf eine sichere Funktion der Fernsteuerung sowie die Steckverbindungen auf sichere und feste Verbindung.

Small breaks can often be used effectively for this, for example while the model checks her make-up or hair.
Oft lassen sich kleine Unterbrechungen, z.B. während das Model Make-Up oder Haare überprüft, dafür effektiv nutzen.

BAM's conclusion is that there is no deviation between measured values and declared energy values on the labels for all models checked so far.
Das Fazit der BAM: Bei allen bislang überprüften Modellen gibt es keine Abweichung zwischen Messwert und deklariertem Energiewert auf dem Label.

Procedures for validating data and checking model inputs;
Verfahren zur Datenvalidierung und zur Prüfung von Modellparametern.

Besides being spoiled for choice, you can keep up with your preferred model by checking their linked social media profiles.
Du hast nicht nur die Qual der Wahl, sondern kannst auch mit deinem bevorzugten Model Schritt halten, indem du die verknüpften Social Media-Profile überprüfst.