Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
model checking
Vertaling van "model checking" in Duits
explain and implement algorithms and data structures for model checking,
Algorithmen und Datenstrukturen zur Modellprüfung erläutern und implementieren
algorithms and data structures for model checking,
Algorithmen und Datenstrukturen für die Modellprüfung,
Counterexamples in stochastic model checking, as we will show in this dissertation, are very complex.
Wie wir in dieser Dissertation zeigen werden, sind Gegenbeispiele im stochastischen Model-Checking in der Regel sehr komplex.
Within our research in this field we succeeded in extending stochastic model checking to include the possibility of counterexample generation.
Im Rahmen dieser Forschung ist es uns als erste gelungen, stochastisches Model-Checking um die Generierung und Analyse von Gegenbeispielen zu erweitern.
Keywords: Networked Automation Systems, distributed control systems, networks, response time, probabilistic model checking, synchronization of cyclic processes
Keywords: Netzbasierte Automatisierungssysteme, verteilte Steuerungen, Netzwerke, Antwortzeit, wahrscheinlichkeitsbasierte Modellverifikation, Synchronisation zyklischer Prozesse
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.
Combining decomposition and lumping - methods for state space reduction from the domain of model checking - allows to dampen the state space explosion.
Die Kombination von Dekomposition und Lumping - Methoden zur Zustandsraumreduktion aus dem Bereich Modellprüfung - erlaubt es, die Zustandsraumexplosion zu dämpfen.
We introduced the notion of counterexamples into stochastic model checking and devised the first methods for the generation and analysis of counterexamples.
Wir haben das Konzept der Gegenbeispiele in das stochastische Model-Checking eingeführt und die ersten Methoden zur Generierung und Analyse von Gegenbeispielen entwickelt.
Model analysis lets you perform four different types of model evaluation: behavioral modeling, model checking, tolerance analysis, and design editing.
Mit Modellanalyse können Sie vier verschiedene Arten der Modellauswertung ausführen: Behavioral Modeling, Modellprüfung, Toleranzanalyse und Konstruktionsbearbeitung.
This work was expanded during 1982-1988 to deal with model checking and temporal logics for the description of concurrent system specifications.
Diese Arbeit wurde in den Jahren 1982-1988 erweitert, um Modellprüfung und temporale Logik bei der Beschreibung der Spezifikationen nebenläufiger Systeme einzusetzen.
Automated methods for detecting flaws and proving security properties: formal methods and model checking, abstract interpretation, fuzzing, and other static and dynamic analysis methods
Automatisierte Methoden zum Nachweis von Fehlern und Sicherheitseigenschaften: formale Methoden und Modellprüfungen, abstrakte Interpretation, Fuzzing und andere statische und dynamische Analyseverfahren
Application of model checking in testing
Einsatz von Model-Checking im Testen
It accomplishes this by using, extending and expanding on known techniques for safety-oriented source code analysis - including abstract interpretations, deductive verifications and model checking.
Dazu setzt es an bereits bestehenden Methoden zur sicherheitsbezogenen Quellcodeanalyse, einschließlich abstrakter Interpretationen, deduktiver Verifikationen und der Modellprüfung, an und baut auf diesen auf.
Synoniemen voor model checking in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 154. Exact: 154. Verstreken tijd: 63 ms.
