MCC: A runtime verification tool for MCAPI user applications

Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer, Jim Holt
November, 2009
PDF Cite
Type
Conference paper
Publication
In Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009, 15-18 November 2009, Austin, Texas, USA
mcapi runtime verification