Explore relationships

CTL*

CTL* is a superset of computational tree logic (CTL) and linear temporal logic (LTL). It freely combines path quantifiers and temporal operators.

Use + to expand a branch. Click a topic name to open its summary.