Examples with "von 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.
Aus diesem Grund ist die Möglichkeit, diagnostische Informationen zu liefern, entscheidend für die praktische Anwendbarkeit von Model-Checking-Techniken.
Als Teil der beschriebenen Entwicklungsmethodik wird ein Ansatz zur automatischen Generierung eines Bedrohungsszenarios aus einem Modell unter Ausnutzung der sicherheitsbezogenen Informationen dargestellt. Bedrohungsszenarien bilden die Basis für die formale Verifikation von Sicherheitsanforderungen mit Hilfe von Model Checking.
As part of our methodology, we present an approach to automatically generate a threat scenario from a model based on the included security-related information, and show how to use threat scenarios to formally verify security requirements by model checking.
Das Model Checking von Softwaremodellen wird durch verschiedene Hindernisse erschwert.
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.
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.
In dieser Arbeit stellen wir einen Ansatz zum Model Checking von speicherbezogenen Eigenschaften für digitale HW/SW Systeme vor.
Unsere Forschung hat gezeigt, dass die Zustandsraum-Generierung durch die Anwendung von Reduktionstechniken aus dem Model Checking-Bereich wesentlich gesteigert werden kann.
iMoc 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.
iMoc 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.
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
Für die formale Verifikation wird die Methode des Model-Checking angewandt.
The method of model-checking is used for the formal verification.
Erfahrung mit Model Checking und Kenntnis der Automatentheorie sind vorteilhaft.
Experience with model checking, knowledge of automata theory is advantageous.
Für beide Beschreibungen werden jeweils die erreichbaren Zustände vorzugsweise mittels Model Checking ermittelt.
The attainable states for both descriptions are preferably determined 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.
