MCC: A runtime verification tool for MCAPI user applications

  title={MCC: A runtime verification tool for MCAPI user applications},
  author={Subodh Sharma and Ganesh Gopalakrishnan and Eric Mercer and Jim Holt},
  journal={2009 Formal Methods in Computer-Aided Design},
We present a dynamic verification tool MCC for Multicore Communication API applications — a new API for communication among cores. MCC systematically explores all relevant interleavings of an MCAPI application using a tailor-made dynamic partial order reduction algorithm (DPOR). Our contributions are (i) a way to model the non-overtaking message matching relation underlying MCAPI calls with a high level algorithm to effect DPOR for MCAPI that controls the lower level details so that the… CONTINUE READING
Highly Cited
This paper has 30 citations. REVIEW CITATIONS
20 Citations
9 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 20 extracted citations


Publications referenced by this paper.
Showing 1-9 of 9 references

Model Checking

  • E. M. Clarke, O. Grumberg, D. A. Peled
  • MIT Press
  • 2000
Highly Influential
3 Excerpts

Distributed Dynamic Pratial Order Reduction Based Verification

  • Yu Yang, Xiofang Chen, R. M. Kirby Ganesh Gopalakrishnan
  • SPIN
  • 2007

Musuvathi and S . Qadeer . Iterative Context Bounding for Systematic Testing of Multithreaded Programs

  • Sarvani Vakkalanka, Subodh V. Sharma
  • Distributed Dynamic Pratial Order Reduction Based…
  • 2007

Similar Papers

Loading similar papers…