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.
New to topics? Read the docs here!