MCC: A runtime verification tool for MCAPI user applications

9th International Conference Formal Methods in Computer Aided Design, FMCAD 2009

Volumn , Issue , 2009, Pages 41-44

  Sharma, Subodh ^a   Gopalakrishnan, Ganesh ^a   Mercer, Eric ^b   Holt, Jim ^c  

^a Department of Electrical and Computer Engineering   (United States)

^b 3361 TMCB   (United States)

^c FREESCALE SEMICONDUCTOR INC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DETERMINISTIC BEHAVIOR; DYNAMIC VERIFICATIONS; HIGH LEVEL ALGORITHMS; INTERLEAVINGS; MODEL CHECKER; MULTI CORE; PARTIAL ORDER REDUCTIONS; PUSH BUTTONS; RUN-TIME VERIFICATION; RUNTIMES; SAFETY PROPERTY; TO EFFECT;

APPLICATION PROGRAMMING INTERFACES (API); COMPUTER AIDED DESIGN; FORMAL METHODS;

MODEL CHECKING;

EID: 76649125925     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FMCAD.2009.5351145     Document Type: Conference Paper

References (11)

1. Multicore Association. http://www.multicore-association.org.
2. MPI Forum. http://www.mpi-forum.org
3. http://www.opengroup.org/onlinepubs/007908799/xsh/threads.html
4. Patrice Godefroid. Software Model Checking: TheVeriSoft Approach. FMSD 2005, vol 26-2, 77-101.
5. Cormac Flanagan and Patrice Godefroid. Dynamic partial-order reduction for model checking software. POPL, 110-121, 2005.
6. Yu Yang, Xiofang Chen, Ganesh Gopalakrishnan, R.M. Kirby. Distributed Dynamic Pratial Order Reduction Based Verification. SPIN 2007, 58-75.
7. Sarvani Vakkalanka, Subodh V. Sharma, Ganesh Gopalakrishnan, and Robert M. Kirby. ISP: A tool for model checking MPI programs. PPoPP 2008. 285-286.
8. M. Musuvathi and S. Qadeer. Iterative Context Bounding for Systematic Testing of Multithreaded Programs. PLDI 2007, 446-455.
9. http://www.cs.utah.edu/formal-verification/mediawiki/index.php/MCAPI
10. Sarvani Vakkalanka, Ganesh Gopalakrishnan, and Robert M. Kirby. Dynamic verification of MPI programs with reductions in presence of split operations and relaxed orderings. CAV 2008, 66-79.
11. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. MIT Press, 2000.