MCC: A runtime verification tool for MCAPI user applications.

Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer, Jim Holt

Browse the full FMCAD paper archive.