About: spin model checker

Premodifier: spin model
Head noun: checker

Same concepts
http://dbpedia.org/resource/SPIN_model_checker

Broader concepts

label	provenance	confidence
tool	isap:80082101	0.489101

Narrower concepts

label	provenance	confidence