A temporal logic language for debugging parallel programs
M. Frey, Andreas Weininger · 2002
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.>