A temporal logic language for debugging parallel programs

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...

Full description

Bibliographic Details

Published in:	System Architecture and Integration: Procedings of the 20th Euromicro Conference, Septemeber 5-8, 1994, Liverpool England pp. 170 - 177
Main Authors:	Frey, M., Weininger, A.
Format:	Conference Proceeding
Language:	English
Published:	IEEE Comput. Soc. Press 1994
Subjects:	Automation Computer bugs Dynamic programming Logic Phase detection Programming profession Software debugging Software testing Specification languages Storage area networks
ISBN:	9780818664304, 0818664304
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!