Integrating temporal assertions into a parallel debugger

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2400, Issue , 2002, Pages 113-120

  Kovacs, Jozsef ^a   Kusper, Gabor ^b   Lovas, Robert ^a   Schreiner, Wolfgang ^b  

^a INSTITUTE OF EXPERIMENTAL MEDICINE   (Hungary)

^b JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; MACROS; MESSAGE PASSING; TEMPORAL LOGIC;

DETERMINISTIC COMMUNICATIONS; DISTRIBUTED DEBUGGING; MESSAGE PASSING PROGRAMS; PARALLEL DEBUGGER; PARALLEL DEBUGGING; TEMPORAL ASSERTION; TEMPORAL FORMULAE; TEMPORAL LOGIC FORMULA;

MODEL CHECKING;

EID: 84956861371     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45706-2_12     Document Type: Conference Paper

References (11)

1. E. M. Clarke Jr., O. Grumberg, and D. A. Peled. Model Checking. MIT Press, Cambridge, MA, 1999.
2. J. Cuny et al. The Ariadne Debugger: Scalable Application of Event-Based Abstraction. SIGPLAN Notices, 28(12):85–95, December 1993.
3. D. Drusinsky. The Temporal Rover and the ATG Rover. In SPIN Model Checking and Software Verification, 7th International SPIN Workshop, volume 1885 of LNCS, pages 323–330, Stanford, CA, August 30 - September 1, 2000. Springer.
4. J. Hakansson. Automated Generation of Test Scripts from Temporal Logic Specifications. Master’s thesis, Uppsala University, Sweden, 2000.
5. A. Hough and J. Cuny. Initial Experiences with a Pattern-Oriented Parallel Debugger. SIGPLAN Notices, 24(1):195–205, January 1988.
6. P. Kacsuk. Systematic Macrostep-by Macrostep Debugging of Message Passing Parallel Programs. Future Generation Computer Systems, 16(6):609–624, 2000.
7. P. Kacsuk, R. Lovas, and J. Kovács. Systematic Debugging of Parallel Programs in DIWIDE Based on Collective Breakpoints and Macrosteps. In P. Amestoy et al., editors, 5th Euro-Par Conference, volume 1685 of Lecture Notes in Computer Science, pages 90–97, Toulouse, France, August 31 – September 3, 1999. Springer.
8. D. Kranzlmüller. Event Graph Analysis for Debugging Massively Parallel Programs. PhD thesis, Johannes Kepler University, September 2000.
9. D. Kranzlmüller and J. Volkert. NOPE: A Nondeterministic Program Evaluator. In Parallel Computation, 4th International ACPC Conference, volume 1557 of LNCS, pages 490–499, Salzburg, Austria, February 16–18, 1999. Springer.
10. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems — Specification. Springer, Berlin, 1992.
11. S. Shende et al. Event- and State-based Debugging in TAU: A Prototype. In ACM SIGMETRICS Symposium on Parallel and Distributed Tools, pages 21–30, Philadelphia, PA, May 1996.