交替投影时序逻辑（alternating projection temporal logic,简称APTL）公式简单易懂,表达能力强;不仅可以描述经典时序逻辑LTL可以描......

为缓解模型检测的状态空间爆炸问题,提出一种基于命题投影时序逻辑的分布式模型检测方法。通过标记范式图技术将命题投影时序逻辑......