Text this: 基于量化布尔公式的超时态计算树逻辑有界模型检测.