Benutzer: Gast  Login
Titel:

The Diameter of Binary Multithreaded Programs

Titelzusatz:
Preliminary Results
Dokumenttyp:
Report / Forschungsbericht
Autor(en):
Alexander Malkis, Yutaka Nagashima, Steffen Borgwardt und Claudia Eckert
Abstract:
We consider the class of finite-state multithreaded programs equipped with a shared-memory interleaving semantics and study the possibility of useful asymptotic bounds on the (finite) diameter of the transition graph of a program from this class. This diameter gives an upper bound on the length of a shortest certificate for the existence of a bug in such a program and as such is connected to the complexity of bug-finding. We here study the dependency of the diameter on the number of threads fo...     »
Stichworte:
concurrency, multithreading, multithreaded programs, transition graph, diameter, formal methods
Beauftragende Einrichtung:
Technische Universität München
Jahr:
2013
Monat:
Aug
Sprache:
en
Format:
Text
 BibTeX