Disambiguation evidence for CTL* via surface form

"CTL"

Triples (5)

Triples where some other subject referred to this entity as "CTL".

Model Checking → topic →
"CTL"
↳ resolves to CTL*
ⓘ
linked to: Model Checking (book)
μ-calculus → moreExpressiveThan →
"CTL"
↳ resolves to CTL*
ⓘ
linked to: mu-calculus
SMV → supportsLogic →
"CTL"
↳ resolves to CTL*
ⓘ
NuSMV → supportsLogic →
"CTL"
↳ resolves to CTL*
ⓘ
Cadence SMV → supportsLogic →
"CTL"
↳ resolves to CTL*
ⓘ