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
Model Checking can determine, for example, the correctness of digital circuits or the synchronization skeleton of a complex program.
So kann die Modellprüfung zum Beispiel die Korrektheit digitaler Schaltkreise oder des Synchronisierungs-Skeletts eines komplexen Programmes feststellen.
Systerel offers a range of industrially proven solutions using Model Checking based technologies for the static analysis and formal proof of systems and software.
Systerel bietet eine Auswahl an industriell bewährten, auf Modellprüfung basierte Lösungen für die statische Analyse und den Beweis der Systeme und Software.
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.
Therefore, the use of Probabilistic Model Checking (PMC) is proposed for the analysis of NAS.
Zur Analyse von NAS wird deshalb der Einsatz der wahrscheinlichkeitsbasierten Modellverifikation (PMC) vorgeschlagen.
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
In Model Checking specifications are written that describe an abstract model in a logic that allows temporal statements, such as "if break is applied, then vehicle will de-accelerate".
Bei der Modellprüfung werden Spezifikationen formuliert, die ein abstraktes Modell in einer Logik beschreiben, die zeitliche Aussagen erlaubt, etwa: „Sobald die Bremse gedrückt wird, wird das Fahrzeug langsamer".
In 1981 he and a graduate student, Allen Emerson, first proposed the use of Model Checking as a verification technique for finite state concurrent systems.
1981 schlugen er und E. Allen Emerson, einer seiner Doktoranden, erstmals vor, die Modellprüfung zu verwenden, um damit nebenläufige Programme zu verifizieren.
His research group at Carnegie Mellon pioneered the use of Model Checking for hardware and software verification.
Seine Forschungsgruppe an der Carnegie Mellon University war Vorreiter bei der Verwendung der Modellprüfung für die Verifizierung von Hard- und Software.
Model checking and healing will impact translator performance.
Durch die Modellprüfung und -reparatur wird die Leistung des Übersetzers beeinträchtigt.
explain and implement algorithms and data structures for model checking,
Algorithmen und Datenstrukturen zur Modellprüfung erläutern und implementieren
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.
algorithms and data structures for model checking,
Algorithmen und Datenstrukturen für die Modellprüfung,
Synoniemen voor Model Checking in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 154. Exact: 154. Verstreken tijd: 51 ms.
