Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
pushdown systems
Vertaling van "pushdown systems" in Duits
Pushdown-Systemen
Pushdown-Systeme
The thesis investigates an approach to automated software verification based on pushdown systems.
Die Arbeit untersucht einen Ansatz zur automatischen Softwareverifikation, der auf Pushdown-Systemen basiert.
This thesis analyzes reachability in generalized pushdown models, alternating pushdown systems and pushdown networks.
Diese Arbeit analysiert das Erreichbarkeitsproblem in verallgemeinerten Pushdown-Modellen, alternierenden Pushdown-Systemen und Pushdown-Netzwerken.
The tool acts as a model-checker for linear-time logic (LTL) on pushdown systems.
Moped ist ein Model-Checker für Linearzeitlogik (LTL) auf Pushdown-Systemen.
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...
Alternating pushdown systems are shown to be suitable models for authorization systems and reputation systems, where reasoning in the systems boils down to solving reachability in the models.
Alternierende Pushdown-Systeme werden als Modell für Autorisierungs- und Reputations-Systeme vorgestellt, deren Fragestellungen sich auf Erreichbarkeitsprobleme in den Modellen reduzieren lassen.
Pushdown systems are, roughly speaking, transition systems whose states include a stack of unbounded length; there is a natural correspondence between them and the execution sequences of programs with (possibly recursive) subroutines.
Pushdown-Systeme sind (vereinfacht gesagt) Transitionssysteme, deren Zustände einen Keller unbegrenzter Länge beinhalten; es besteht eine natürliche Beziehung zwischen diesen Systemen und Programmen mit rekursiven Prozeduren.
Synoniemen voor pushdown systems in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 6. Exact: 6. Verstreken tijd: 245 ms.
