Questions tagged [computation-tree-logic]

Filter by
Sorted by
Tagged with
2
votes
1answer
441 views

Transition systems that satisfy LTL but not CTL, and vice versa

I am learning about temporal logic and model checking systems. One conceptual exercise that I am struggling with is how to create a transition system which satisfies only one of two given properties, ...