Disambiguation evidence for LTL via surface form

"LTL"

Triples (7)

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

Symbolic Model Checking → supportsLogic →
"LTL"
↳ resolves to LTL
ⓘ
Model Checking → topic →
"LTL"
↳ resolves to LTL
ⓘ
linked to: Model Checking (book)
CTL* → hasSubset →
"LTL"
↳ resolves to LTL
ⓘ
linear temporal logic → hasAbbreviation →
"LTL"
↳ resolves to LTL
ⓘ
μ-calculus → moreExpressiveThan →
"LTL"
↳ resolves to LTL
ⓘ
linked to: mu-calculus
PRISM probabilistic model checker → supportsPropertyLogic →
"LTL"
↳ resolves to LTL
ⓘ
SPIN → supportsPropertySpecification →
"LTL"
↳ resolves to LTL
ⓘ
linked to: SPIN model checker