时序逻辑：线性时间以分支时间

摘要

cqvip:1.引言 时序逻辑是一种模态逻辑,不同于经典逻辑,其真假值依赖于时间而变化。对于序的数学处理,并不是静态的,它包含很重要的动态特征。一个典型的程序执行模型就是状态列,不同的状态。