About: formal verification

Premodifier: formal
Head noun: verification

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

Broader concepts

label	provenance	confidence
technique	isap:112133408	0.716442
tool	isap:408566393	0.453309
method	isap:81354914	0.446895
technology	isap:220865967	0.432641

Narrower concepts

label	provenance	confidence
equivalence checking	isap:322379916	0.618506
model checking	isap:322379915	0.548821
node	isap:314487350	0.167887