CCMOP: A Runtime Verification Tool for C/C++ Programs.

Yongchao Xing, Zhenbang Chen, Shibo Xu, Yufeng Zhang

Browse the full RV paper archive.