CRI: Symbolic debugger for MCAPI applications

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

Volumn 6252 LNCS, Issue , 2010, Pages 353-358

  Elwakil, Mohamed ^a   Yang, Zijiang ^a   Wang, Liqiang ^b  

^a Western Michigan University   (United States)

^b UNIVERSITY OF WYOMING   (United States)

Author keywords

MCAPI; Message Race; Satisfiability Modulo Theories; Symbolic Analysis

Indexed keywords

DEBUGGERS; DEBUGGING TOOLS; ERROR-STATE; MCAPI; MESSAGE RACE; MULTI CORE; SATISFIABILITY; SATISFIABILITY MODULO THEORIES; SYMBOLIC ANALYSIS; CONNECTION ORIENTED COMMUNICATION;

FORMAL LOGIC;

PROGRAM DEBUGGING;

EID: 78049333678     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15643-4_27     Document Type: Conference Paper

References (5)

1. The Multicore Association Communications API, http://www.multicore- association.org/workgroup/mcapi.php
2. Netzer, R. H. B., Brennan, T. W., Damodaran-Kamal, S. K.: Debugging Race Conditions in Message-Passing Programs. In: ACM SIGMETRICS Symposium on Parallel and Distributed Tools, Philadelphia, SPDT 1996, PA, USA, pp. 31-40 (1996)
3. Dutertre, B., de Moura, L.: A Fast Linear-Arithmetic Solver for DPLL (T). In: Ball, T., Jones, R. B. (eds.) CAV 2006. LNCS, vol. 4144, pp. 81-94. Springer, Heidelberg (2006)
4. Sharma, S., Gopalakrishnan, G., Mercer, E., Holt, J.: MCC: A runtime verification tool for MCAPI applications. In: 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009, Austin, Texas, USA, November 15-18 (2009)
5. Wang, C., Kundu, S., Ganai, M., Gupta, A.: Symbolic Predictive Analysis for Concurrent Programs. In: Cavalcanti, A., Dams, D. R. (eds.) FM 2009. LNCS, vol. 5850, pp. 256-272. Springer, Heidelberg (2009)