Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen:
http://dx.doi.org/10.18419/opus-2564
Langanzeige der Metadaten
DC Element | Wert | Sprache |
---|---|---|
dc.contributor.author | Bouajjani, Ahmed | de |
dc.contributor.author | Esparza, Javier | de |
dc.contributor.author | Schwoon, Stefan | de |
dc.contributor.author | Strejcek, Jan | de |
dc.date.accessioned | 2005-12-01 | de |
dc.date.accessioned | 2016-03-31T07:58:33Z | - |
dc.date.available | 2005-12-01 | de |
dc.date.available | 2016-03-31T07:58:33Z | - |
dc.date.issued | 2005 | de |
dc.identifier.other | 252545761 | de |
dc.identifier.uri | http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-24645 | de |
dc.identifier.uri | http://elib.uni-stuttgart.de/handle/11682/2581 | - |
dc.identifier.uri | http://dx.doi.org/10.18419/opus-2564 | - |
dc.description.abstract | We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CPS (concurrent pushdown systems) and DPN (dynamic pushdown networks). We show that ADPN exhibit several advantages as a program model. Since the reachability problem for ADPN is undecidable even in the case without dynamic creation of processes, we address the bounded reachability problem, which considers only those computation sequences where the (index of the) thread accessing the shared memory is changed at most a fixed given number of times. We provide efficient algorithms for both forward and backward reachability analysis. The algorithms are based on automata techniques for symbolic representation of sets of configurations. | en |
dc.language.iso | en | de |
dc.relation.ispartofseries | Technischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik;2005,6 | de |
dc.rights | info:eu-repo/semantics/openAccess | de |
dc.subject.classification | Model checking , Kellerautomat , Heuristik | de |
dc.subject.ddc | 004 | de |
dc.subject.other | ADPN , asynchronous dynamic pushdown networks | en |
dc.title | Reachability analysis of multithreaded software with asynchronous communication | 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 | 2464 | 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_2005_06.pdf | 183,15 kB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.