References

 [1]

Wolfgang Schreiner. On Engineering a Distributed Algorithm. Helmut Gutmann (ed.), Software for Communication Technologies, Third International Austrian-Israeli Technion Symposium with Industrial Forum, April 26-27, 1999, Hagenberg, Austria, Austrian Technion Society, Vienna, pp. 110-116.

 [2]

P. Kacsuk and R.Lovas and J.Kovács. Systematic Debugging of Parallel Programs in DIWIDE Based on Collective Breakpoints and Macrosteps. 5th International Euro-Par Conference, Toulouse, France, pp.90-97, 1999.

 [3]

D. Kranzlmüller and J. Volkert. NOPE: A Nondeterministic Program Evaluator. ACPC'99 International Conference, Salzburg, Austria, pp. 490-499, February 1999.

 [4]

Leslie Lamport. The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems, 16(3):872-923, May 1994.

 [5]

Zohar Manna and Amir Pnueli. Temporal Verification of Reactive Systems - Safety. Springer, New York, 1995.

 [6]

K.L. McMillan. Symbolic Model Checking. Kluer Academic Publishers, 1993.

 [7]

R.P. Kurshan. Computer Aided Verification of Coordinating Processes. Princeton University Press, 1994.

 [8]

P. Kacsuk, G. Dozsa, R. Lovas. The GRADE Graphical Parallel Programming Environment. in: P. Kacsuk, J.C. Cunha and S.C. Winter, "Parallel Program Development for Cluster Computing: Methodology, Tools and Integrated Environments", Nova Science, Chapter 10, 2000.

 [9]

Kacsuk, P. Macrostep-by Macrostep Debugging of Message Passing Parallel Programs. in: 1998 Parallel and Distributed Computing and Systems proceedings, PDCS'98, Las Vegas, Nevada, USA, 1998, pp. 527-531.

 [10]

D. Kranzlmüller, S. Grabner, J. Volkert. Debugging with the MAD Environment. Parallel Computing, Vol. 23, No. 1-2, pp. 199-217 (Apr. 1997).

 [11]

D. Kranzlmüller, S. Grabner, J. Volkert. Event Graph Visualization for Debugging Large Applications. Proc. SPDT'96, ACM SIGMETRICS Symp. on Parallel and Distr. Tools, Philadelphia, USA, pp. 108-117 (May 1996).

 [12]

B.W. Boehm. Seven Basic Principles of Software Engineering. Journal of Systems and Software, Vol. 3, No. 1, pp. 3-24 (March 1983).

 [13]

Ch.E. McDowell, D.P. Helmbold. Debugging Concurrent Programs. ACM Computing Surveys, Vol. 21, No. 4, pp. 593-622 (December 1989).

 [14]

C.M. Pancake, R.H.B. Netzer. A Bibliography of Parallel Debuggers, 1993 Edition. Proc. of the 3rd ACM/ONR Workshop on Parallel and Distributed Debugging, San Diego, CA, USA (May 1993).