Title :
A temporal logic language for debugging parallel programs
Author :
Frey, M. ; Weininger, A.
Author_Institution :
Inst. fur Inf., Tech. Univ. Munchen, Germany
Abstract :
In this paper we present a temporal logic specification language for debugging parallel programs. We describe a partial order model of program runs over which a partial order temporal logic is defined. Furthermore we give an algorithm for proving whether a specification is satisfied by a program run
Keywords :
formal specification; parallel programming; program debugging; program testing; specification languages; temporal logic; parallel program debugging; partial order model; temporal logic language; temporal logic specification language; Automation; Computer bugs; Dynamic programming; Logic; Phase detection; Programming profession; Software debugging; Software testing; Specification languages; Storage area networks;
Conference_Titel :
EUROMICRO 94. System Architecture and Integration. Proceedings of the 20th EUROMICRO Conference.
Conference_Location :
Liverpool
Print_ISBN :
0-8186-6430-4
DOI :
10.1109/EURMIC.1994.390393
