Premodifier: formalHead noun: method
| Same concepts |
|---|
| http://dbpedia.org/resource/Formal_methods |
Broader concepts
| label | provenance | confidence |
|---|---|---|
| verification technique | isap:425619000 | 0.749778 |
| thing | isap:114231168 | 0.635031 |
| technique | isap:425618758 | 0.584831 |
| topic | isap:113356084 | 0.369380 |
| research interest | isap:100658709 | 0.262628 |
| research | isap:103689894 | 0.254851 |
Narrower concepts
| label | provenance | confidence |
|---|---|---|
| theorem proving | isap:268847520 | 0.791857 |
| model checking | isap:484034426 | 0.667562 |
| petri net | isap:214024798 | 0.434592 |
| temporal logic | isap:153917956 | 0.361281 |
| specification | isap:53356556 | 0.313030 |
| vdm | isap:213367049 | 0.295278 |
| csp | isap:215189977 | 0.293991 |
| z | isap:54360919 | 0.209310 |