Disambiguation evidence for Promela via surface form

"Promela"

Triples (4)

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

SPIN → usesSpecificationLanguage →
"Promela"
↳ resolves to Promela
ⓘ
linked to: SPIN model checker
SPIN → hasInputLanguage →
"Promela"
↳ resolves to Promela
ⓘ
linked to: SPIN model checker
SPIN verification tool → supportsLanguage →
"Promela"
↳ resolves to Promela
ⓘ
SPIN verification tool → inputLanguage →
"Promela"
↳ resolves to Promela
ⓘ