Examples with "Model-Checking Algorithmen" 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.
Sie haben eine wichtige Rolle in Model-Checking Algorithmen für Klassen dünn besetzter Graphen, deren Laufzeit durch die Größe der auszuwertenden Formel parametrisiert ist.
Wir haben unsere Algorithmen symbolisch formuliert, sodass wir von effizienten Abstraktionstechniken aus dem Bereich des symbolischen Model Checking profitieren können.
We formulate our algorithms symbolically to benefit from efficient abstraction techniques of symbolic model checking.
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 Arbeit untersucht Model-Checking-Probleme auf Pushdown-Systemen, wobei sie zuvor bekannte Algorithmen verbessert, sowohl in asymptotischer Hinsicht als auch mi...
The thesis examines model-checking problems for pushdown systems, improving previously known algorithms in terms of both asymptotic complexity and practical
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.
Er zijn geen resultaten gevonden voor deze term.
Synoniemen voor Model-Checking Algorithmen in het Duits