CTL* is a superset of CTL and LTL. It freely combines path quantors and temporal operators. Like CTL, CTL* is a branching time logic. The formal semantics of CTL* formulae are defined with respect to a given Kripke structure.
| Property | Value |
|---|
| dbpprop:abstract
|
- CTL* is a superset of CTL and LTL. It freely combines path quantors and temporal operators. Like CTL, CTL* is a branching time logic. The formal semantics of CTL* formulae are defined with respect to a given Kripke structure.
|
| dbpprop:reference
| |
| rdfs:comment
|
- CTL* is a superset of CTL and LTL. It freely combines path quantors and temporal operators. Like CTL, CTL* is a branching time logic. The formal semantics of CTL* formulae are defined with respect to a given Kripke structure.
|
| rdfs:label
| |
| skos:subject
| |
| foaf:page
| |
![[RDF Data]](/statics/sw-cube.png)
