Runtime Verification by Convergent Formula Progression.

Yan Shen, Jianwen Li, Zheng Wang, Ting Su, Bin Fang, Geguang Pu, Wanwei Liu, Mingsong Chen

Browse the full APSEC paper archive.