本文已参与「新人创作礼」活动，一起开启掘金创作之路。 CTL和LTL的区别： CLT明确允许对路径使用量词，比LTL有更强的表达能力 但CTL不允许像LTL那样，通过用公式描述来选择一个路径范围，在这