Examples with "Model Checking und" 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.
Erfahrung mit Model Checking und Kenntnis der Automatentheorie sind vorteilhaft.
Experience with model checking, knowledge of automata theory is advantageous.
Diesem Ziel fühlen wir uns bis heute verpflichtet und blicken mit inzwischen ca. 100 Mitarbeitern stolz auf 17 Jahre technologische Markführerschaft in Bereichen wie formale Verifikation, Model Checking und automatische Testfall-Generierung zurück.
We still feel dedicated to this goal and with roughly 100 employees, we proudly look back on 17 years of technological market leadership in areas like formal verification, model checking and automatic test generation.
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.
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.
Andere resultaten
Modellierung und Simulation mit Uppaal, Spezifikation von Modell-Eigenschaften unter Verwendung von TCTL, Model-Checking und Analyse mit Uppaal
Modeling and simulation using Uppaal, specification of system properties using TCTL, model-checking and analysis
Werkzeuge für Model-Checking und Terminierung sind erstellt
UMWANDLUNG EINER EINFACHEN PSL-UNTERMENGE IN SERE-IMPLIKATIONSFORMELN ZUR ÜBERPRÜFUNG MIT MODEL-CHECKING UND SIMULATIONSMASCHINEN UNTER VERWENDUNG VON BEDEUTUNGSERHALTENDEN UMSCHREIBUNGSREGELN
TRANSFORMATION OF SIMPLE SUBSET OF PSL INTO SERE IMPLICATION FORMULAS FOR VERIFICATION WITH MODEL CHECKING AND SIMULATION ENGINES USING SEMANTIC PRESERVING REWRITE RULES
In dieser Vorlesung werden Grundlagen und Anwendungen von statischer Analyse und Model-Checking im Bereich Steuerungssoftware vermittelt.
This lecture teaches the basics and applications of static analysis and model checking in the domain of logic control software.
Im Rahmen dieser Forschung ist es uns als erste gelungen, stochastisches Model-Checking um die Generierung und Analyse von Gegenbeispielen zu erweitern.
Within our research in this field we succeeded in extending stochastic model checking to include the possibility of counterexample generation.
Software Validierung und Verifikation, insb. Testing und Model Checking
Software validation and verification, especially software testing and model checking
Wir haben das Konzept der Gegenbeispiele in das stochastische Model-Checking eingeführt und die ersten Methoden zur Generierung und Analyse von Gegenbeispielen entwickelt.
We introduced the notion of counterexamples into stochastic model checking and devised the first methods for the generation and analysis of counterexamples.
Katoens Forschungsinteressen umfassen formale Methoden, formale Verifikation, im Speziellen Model Checking, Nebenläufigkeit, und Semantik, besonders Semantik von probabilistischen Programmiersprachen.
Katoen's main research interests are formal methods, computer aided verification, in particular model checking, concurrency theory, and semantics, in particular semantics of probabilistic programming languages.
BIM und Model Checking: worum es sich handelt und warum Prozesse der Datenvalidierung notwendig sind
BIM and Model Checking: what it is and why validation data processes are needed
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.
