20201204 周五 1.找到了Abstraction Refinement方法的文献,有点长,正在看。考虑概率区间时序逻辑是不是不能参考概率模型检测的算法,因为概率模型检测中多用的分支逻辑。 2.弄三方协议花了些时间。