Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
model-checking problems for
Examples with "model-checking problems for" and their translation in Duits
The thesis examines model-checking problems for pushdown systems, improving previously known algorithms in terms of both asymptotic complexity and practical
Die Arbeit untersucht Model-Checking-Probleme auf Pushdown-Systemen, wobei sie zuvor bekannte Algorithmen verbessert, sowohl in asymptotischer Hinsicht als auch mi...
Andere resultaten
In both cases, the general model checking problem is undecidable even for very simple temporal logics.
In beiden Fällen ist das allgemeine Verifikationsproblem selbst für sehr einfache temporale Logiken unentscheidbar.
Finally, we study the parameterized complexity of the first-order model-checking problem on structures where an ordering is available to be used in formulas.
Zuletzt untersuchen wir, welche Auswirkungen eine Erweiterung der Logik durch Ordnungs- bzw. Nachfolgerrelationen auf die Komplexität des Model-Checking Problems hat.
Many problems in mathematics or computer science can be viewed or reformulated as either model checking problems or satisfiability problems in suitable logical theories.
Viele Probleme aus Mathematik und Informatik lassen sich als Auswertungs- oder Erfüllbarkeitsprobleme in logischen Theorien formulieren.
The online model checking problem is reduced to online reachability analysis, which tries to look ahead finitely many steps on the model level.
Das Online Model Checking Problem reduziert sich zu Online Erreichbarkeitsanalyse, wobei in jedem Überprüfungszyklus nur endlich viele Schritte auf der Modellebene verfolgt werden.
For all bounded model checking problems, we obtain a decision procedure whose complexity is n-fold exponential in the chosen behavioral restriction (e.g., in the size of the communication channels) where n is linear in the number of monadic quantifier alterations occurring in the modality definitions.
Für jedes von uns untersuchte beschränkte Verifikationsproblem geben wir ein Entscheidungsverfahren an, dessen Komplexität n-fach exponentiell in der jeweilig gewählten Verhaltensbeschränkung (beispielsweise in der Größe der Kanäle) ist. Dabei ist n linear in der Anzahl der monadischen Quantorenalternierungen in den Modalitätsdefinitionen.
In particular, we work in the field of formal specification and verification, model-checking, the satisfiability problem of certain logics, and combinatorial problems of sequential structures.
Insbesondere liegen unsere Forschungsschwerpunkte auf den Gebieten der formalen Spezifikation und Verifikation von Systemen, der Modellprüfung, der Erfüllbarkeitsprobleme diverser Logiken und der Untersuchung kombinatorischer Probleme auf sequenziellen Strukturen.
The literature proposes constructive approaches such as MDE, patterns, etc. as well as analytical approaches such as testing or model checking to solve the problem of complexity in general.
In der Literatur werden konstruktive Methoden wie MDE oder Patterns und analytische Methoden wie Testen oder Model Checking vorgeschlagen, um das Komplexitätsproblem zu verringern.
Solving that equation was a really hairy problem for the students.
He's been a whirling dervish all morning, fixing problems for everyone.
Den ganzen Morgen war er ein echter Wirbelwind und hat allen Probleme gelöst.
Rustled animals were a common problem for ranchers in the valley.
Gestohlene Tiere waren ein häufiges Problem für die Rancher im Tal.
The exploit of the hacker caused major problems for the company.
Die Ausnutzung durch den Hacker verursachte große Probleme für das Unternehmen.
Mark my words, this shortcut will cause serious problems for the project later.
Merk dir meine Worte, diese Abkürzung wird dem Projekt später ernsthaft schaden.
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 19329. Exact: 1. Verstreken tijd: 211 ms.
