Runtime Verification by Convergent Formula Progression

Yan Shen, Jianwen Li, Zheng Wang, Ting Su, Bin Fang, Geguang Pu, Wanwei Liu, Mingsong Chen. Runtime Verification by Convergent Formula Progression. In Sungdeok (Steve) Cha, Yann-Gaël Guéhéneuc, Gihwon Kwon, editors, 21st Asia-Pacific Software Engineering Conference, APSEC 2014, Jeju, South Korea, December 1-4, 2014. Volume 1: Research Papers. pages 255-262, IEEE, 2014. [doi]

Abstract

Abstract is missing.