Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
Model Checking Problem
Examples with "Model Checking Problem" and their translation in Duits
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.
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.
Andere resultaten
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 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...
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.
On the first side, this method is very powerful in its verification significance, but on the other side, model checking still suffers a complexity problem.
Einerseits, ist diese Methode sehr mächtig in ihrer Aussagekraft, aber auf der anderen Seite leiden Model Checking Verfahren immer noch unter einem Komplexitätsproblem.
The model checking approach has been developed for the verification of communication protocols and it was applied successfully to a wide range of problems in the field of technical software modelling.
Der Ansatz des Model Checking stammt ursprünglich aus dem Entwurf von Kommunikationsprotokollen und wurde bereits erfolgreich auf verschiedene Probleme der Modellierung technischer Software angewendet.
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.
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.
Nevertheless, the increasing complexity of embedded systems requires to compensate the natural disadvantages of model checking that suffers from the well-known state-space explosion problem.
Durch die steigende Komplexität von Eingebetteten Systemen muss der natürliche Nachteil der Modellprüfung, die Zustandsraumexplosion, ausgeglichen werden um akzeptable Laufzeiten des Verifikationsverfahren sicher zu stellen.
Yet, this completeness is seen as a drawback as the state explosion problem is hard to handle. In our industrial case study, we apply automated model checking techniques to an innovative elevator system, the TWIN by ThyssenKrupp.
In unserer Industrie-Fallstudie, der Anwendung automatisierter Model Checking Techniken auf das innovative TWIN Aufzugssystem von ThyssenKrupp, beweisen wir die Gültigkeit der Spezifikation bezüglich der Anforderungen; Effizienz wird durch Abstraktion und Nichtdeterminismus erreicht.
Synoniemen voor Model Checking Problem in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 180. Exact: 2. Verstreken tijd: 87 ms.
