基于量化布尔公式的超时态计算树逻辑有界模型检测. - 明志勇; 王以松; 冯仁艳 (Computer Engineering & Science / Jisuanji Gongcheng yu Kexue, 2025)