Correctness debugging of message passing programs using model verification techniques

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

Volumn 4757 LNCS, Issue , 2007, Pages 335-343

  Lovas, Robert ^a   Kacsuk, Peter ^a  

^a INSTITUTE FOR COMPUTER SCIENCE AND CONTROL   (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; COMPUTER SOFTWARE; ENGINEERS; FORMAL METHODS; MODEL CHECKING; PETRI NETS; PROBLEM SOLVING; PROGRAM DEBUGGING; STATE SPACE METHODS; TEMPORAL LOGIC;

COMPLETENESS PROBLEM; IRREPRODUCIBILITY; MODEL VERIFICATION; SOFTWARE ENGINEERS;

MESSAGE PASSING;

EID: 38449090939     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75416-9_45     Document Type: Conference Paper

References (11)

1. Kacsuk, P., et al.: GRADE: A Graphical Programming Environment for Multicomputers. Computer and Artificial Intelligence. 17(5), 417-427 (1998)
2. Kacsuk, P.: Systematic Macrostep Debugging of Message Passing Parallel Programs. Future Generation Computer Systems 16(6), 609-624 (2000)
3. Tsiatsoulis, Z., Dozsa, G., Cotronis, Y., Kacsuk, P.: Associating Composition of Petri Net Specifications with Application Designs in Grade. In: Proc. of the Seventh Euromicro Workshop on Parallel and Distributed Processing, Funchal, Portugal, pp. 204-211 (1999)
4. Lovas, R., Vécsei, B.: Integration of formal verification and debugging methods in PGRADE environment. In: Distributed and Parallel Systems: Cluster and Grid Computing. Kluwer International Series in Engineering and Computer Science, vol. 777, pp. 83-92 (2004)
5. Valmari, A.: A stubborn attack on state explosion. In: Clarke, E., Kurshan, R.P. (eds.) CAV 1990. LNCS, vol. 531, pp. 156-165. Springer, Heidelberg (1991)
6. Peled, D., Clarke, E.M., Grumberg, O., Minea, M., Peled, D.: State space reduction using partial order techniques. Software Tools for Technology Transfer 3(1), 279-287 (1999)
7. Kranzlmüller, D., Volkert, J.: NOPE: A Nondeterministic Program Evaluator. In: Zinterhof, P., Vajtersic, M., Uhl, A. (eds.) ACPC 1999 and ParNum 1999. LNCS, vol. 1557, pp. 490-499. Springer, Heidelberg (1999)
8. Kranzlmüller, D., Rimnac, A.: Parallel Program Debugging with MAD - A Practical Approach. In: International Conference on Computational Science 2003, pp. 201-212 (2003)
9. Krawczyk, H., et al.: STEPS - a Tool for Structural Testing of Parallel Software. In the book: Parallel Program Development for Cluster Computing: Methodology. In: Tools and Integrated Environments, ch. 16, pp. 334-354. Nova Science Publishers, New York (2001)
10. Cunha, J.C., et al.: The DDBG Distributed Debugger. In the book: Parallel Program Development for Cluster Computing: Methodology. In: Tools and Integrated Environments, ch. 13, pp. 292-303. Nova Science Publishers, New York (2001)
11. Kovacs, J., et al.: Integrating Temporal Assertions into a Parallel Debugger. In: Monien, B., Feldmann, R.L. (eds.) Euro-Par 2002. LNCS, vol. 2400, pp. 113-120. Springer, Heidelberg (2002)