About: equivalence checking

Premodifier: equivalence
Head noun: checking

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

Broader concepts

label	provenance	confidence
formal verification	isap:322379916	0.618506
technique	isap:185506120	0.447736

Narrower concepts

label	provenance	confidence