SPIN

E2036897 UNEXPLORED

SPIN is a widely used formal verification tool for analyzing the correctness of concurrent and distributed software systems using model checking techniques.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
SPIN canonical	1

Referenced by (1)

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

SPIN verification tool → acronym → SPIN ⓘ