TY  - THES
A3  - Müller-Olm, Markus
A3  - Olm, Markus Müller-
AB  - "Lock sensitive analysis of parallel programs" (Lock-Sensitive Analyse nebenläufiger Programme) Diese Dissertation behandelt einen Modellprüfungsalgorithmus für dynamische Pushdown-Netzwerke mit Monitoren (Monitor-DPNs). Monitor-DPNs sind ein Modell für parallele Programme mit rekursiven Prozeduren, Thread-Erzeugung, und wechselweisem Ausschluss durch Monitore. Betrachtet werden Vorgängermengenberechnungen, mit denen man viele interessante Eigenschaften ausdrücken kann, unter Anderem Race-Conditions, Bitvektoranalysen und das (EF,EX)-Fragment der branching-time Logik CTL.
AU  - Lammich, Peter
DA  - 2011
KW  - Model-Checking
KW  - Programmanalyse
KW  - Nebenläufigkeit
KW  - Monitore
KW  - dynamische Pushdown-Netzwerke
KW  - Vorgängermengen
LA  - eng
PY  - 2011
TI  - Lock sensitive analysis of parallel programs
UR  - https://nbn-resolving.org/urn:nbn:de:hbz:6-43459441169
Y2  - 2024-11-22T09:38:49
ER  -