Examples with "und 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.
Software Validierung und Verifikation, insb. Testing und Model Checking
Software validation and verification, especially software testing and model checking
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
BIM und Model Checking: worum es sich handelt und warum Prozesse der Datenvalidierung notwendig sind
BIM and Model Checking: let's find out about Clash Detection and Code Checking
BIM und Model Checking auf das einzelne Fachchodell und auf das integrierte Modell (Merged Model) angewandt
BIM and Model checking applied to the single disciplinary model and to the integrated model (Merged Model)
Andere resultaten
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.
Die formale mathematische Semantik solcher Techniken bildet, zusammen mit dem vorgestellten Konzept, einen Ausgangspunkt für die Anwendung formaler Analysetechniken, zum Beispiel formale Verifikation und Model-Checking, auf entsprechende komponentenbasierte Architekturspezifikationen.
The abstract framework is primary meant to be instantiated with formal specification techniques featuring a mathematical semantics, and thus, enabling the application of formal analysis techniques like formal verification and model-checking to component architectures specified by those techniques.
Erfahrung mit Model Checking und Kenntnis der Automatentheorie sind vorteilhaft.
Experience with model checking, knowledge of automata theory is advantageous.
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.
Neuartige domänenspezifische Modellierungs- und Abstraktionstechniken werden daher benötigt, um die Komplexität mittels skalierbarer Algorithmen auf der Basis von Bounded und Unbounded Model Checking beherrschen zu können.
Novel domain-specific modeling and abstraction techniques will be targeted to handle this complexity in scalable algorithms based on bounded and unbounded model checking.
Die Algorithmen, die den Kompositionsprozess durchführen, haben wir basierend auf nicht-zeitbehafteten Planungsalgorithmen und zeitbehaftetem Model Checking entwickelt.
For performing the composition process, we present algorithms based on ideas from untimed planning theory and timed model checking.
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.
Im Fall von Systemen mit unendlichen Zustandsraum werden viele interessante Verfikationsprobleme unentscheidbar, und traditionelle Model Checking Techniken für endliche Zustandsräume sind dann nicht mehr anwendbar.
In fact, in case of infinite state systems, many interesting verification problems become undecidable and traditional finite state model checking techniques cannot be applied to those systems.
Auf Basis dieser Systembeschreibung werden zwei Arten von Überprüfungen durchgeführt: regelbasierte Berechnungen und Verifikation durch Model Checking.
As evaluation means two different concepts are applied: rule-based calculations and verification 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.
