About: model checking

Premodifier: model
Head noun: checking

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

Broader concepts

label	provenance	confidence
formal verification technique	isap:185506115	0.794201
wide range of topic	isap:357936201	0.694597
formal method	isap:484034426	0.667562
verification technique	isap:185506114	0.620186
formal analysis technique	isap:185506122	0.606276
technique	isap:185506113	0.571111
automatic technique	isap:185506118	0.568149
formal verification	isap:322379915	0.548821
approach	isap:62775534	0.450796
use technique	isap:185506116	0.425797
method	isap:484034428	0.293905
analysis	isap:57913493	0.243215

Narrower concepts

label	provenance	confidence