Infinite state model checking of propositional dynamic logics

Göller, Stefan; Lohrey, Markus

Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen: http://dx.doi.org/10.18419/opus-2571

Langanzeige der Metadaten

DC Element	Wert	Sprache
dc.contributor.author	Göller, Stefan	de
dc.contributor.author	Lohrey, Markus	de
dc.date.accessioned	2006-02-10	de
dc.date.accessioned	2016-03-31T07:58:34Z	-
dc.date.available	2006-02-10	de
dc.date.available	2016-03-31T07:58:34Z	-
dc.date.issued	2006	de
dc.identifier.other	261199080	de
dc.identifier.uri	http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-25399	de
dc.identifier.uri	http://elib.uni-stuttgart.de/handle/11682/2588	-
dc.identifier.uri	http://dx.doi.org/10.18419/opus-2571	-
dc.description.abstract	Model-checking problems for propositional dynamic logic (PDL) and its extension PDL$^\cap$ (which includes the intersection operator on programs) over various classes of infinite state systems (BPP, BPA, pushdown systems, prefix-recognizable systems) are studied. Precise upper and lower bounds are shown for the data/expression/combined complexity of these model-checking problems.	en
dc.language.iso	en	de
dc.relation.ispartofseries	Technischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik;2006,4	de
dc.rights	info:eu-repo/semantics/openAccess	de
dc.subject.classification	Unendlicher Zustandsraum , Model checking , Dynamische Aussagenlogik	de
dc.subject.ddc	004	de
dc.subject.other	pushdown system , prefix-recognizable system , basic process algebra	en
dc.title	Infinite state model checking of propositional dynamic logics	en
dc.type	workingPaper	de
dc.date.updated	2013-07-08	de
ubs.fakultaet	Fakultät Informatik, Elektrotechnik und Informationstechnik	de
ubs.institut	Institut für Formale Methoden der Informatik	de
ubs.opusid	2539	de
ubs.publikation.typ	Arbeitspapier	de
ubs.schriftenreihe.name	Technischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik	de
Enthalten in den Sammlungen:	05 Fakultät Informatik, Elektrotechnik und Informationstechnik

Dateien zu dieser Ressource:

Datei	Beschreibung	Größe	Format
TR_2006_04.pdf		333,34 kB	Adobe PDF	Öffnen/Anzeigen

Zur Kurzanzeige

Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.

Universität Stuttgart

OPUS - Online Publikationen der Universität Stuttgart