mcapi

MCC: A runtime verification tool for MCAPI user applications
Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer, Jim Holt
PDF Cite
Dynamic verification of Multicore Communication applications in MCAPI
Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer
PDF Cite