Formal verification

https://www.wikidata.org/wiki/Q173326

Field Hierarchy

Parent
Computer science 54.8M papers	Mathematics 21.1M papers	Programming language 7.2M papers	Algorithm 4.5M papers
Theoretical computer science 615k papers
Current
Formal verification 14.6k papers
Child
Functional verification 3,317 papers	Runtime verification 2,129 papers	Formal equivalence checking 1,214 papers	Language Of Temporal Ordering Specification 1,089 papers
Refinement 587 papers	Promela 558 papers	B-Method 221 papers

Trends

Notes

History