Source: wikibot/ctl
= CTL*
{wiki=CTL*}
CTL* (Computed Tree Logic Star) is a modal logic that extends both Computed Tree Logic (CTL) and Linear Temporal Logic (LTL). It is used primarily in the field of model checking, which is a method for verifying that a system satisfies certain properties. \#\#\# Key Features of CTL*: 1. **Expressiveness**: CTL* allows for more expressive properties than either CTL or LTL alone.