Parametric Runtime Verification of C Programs.

Zhe Chen, Zhemin Wang, Yunlong Zhu, Hongwei Xi, Zhibin Yang

Browse the full TACAS paper archive.