About: program verification

Premodifier: program
Head noun: verification

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

Broader concepts

label	provenance	confidence
application	isap:513417929	0.437537

Narrower concepts

label	provenance	confidence