Promela

E2036896 UNEXPLORED

Promela is a formal modeling language primarily used for specifying and verifying concurrent and distributed systems, notably within the SPIN model checker.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (2)

Label	Occurrences
Promela canonical	4
Promela modeling language	1

Referenced by (5)

Full triples — surface form annotated when it differs from this entity's canonical label.

SPIN → usesSpecificationLanguage → Promela ⓘ

subject linked to: SPIN model checker

SPIN → hasInputLanguage → Promela ⓘ

subject linked to: SPIN model checker

SPIN verification tool → supportsLanguage → Promela ⓘ

SPIN verification tool → inputLanguage → Promela ⓘ

SPIN verification tool → hasComponent → Promela modeling language ⓘ

linked to: Promela