Formal verification

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

Field Hierarchy

Parent
Computer science 62.9M papers	Mathematics 22.2M papers	Programming language 7.7M papers	Algorithm 4.7M papers
Theoretical computer science 626k papers
Current
Formal verification 15.6k papers
Child
Functional verification 3,440 papers	Runtime verification 2,245 papers	Formal equivalence checking 1,268 papers	Language Of Temporal Ordering Specification 1,109 papers
Refinement 681 papers	Promela 594 papers	B-Method 233 papers

Trends

Notes

History