Formal verification

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

Field Hierarchy

Parent
Computer science 56.2M papers	Mathematics 21.6M papers	Programming language 7.4M papers	Algorithm 4.6M papers
Theoretical computer science 637k papers
Current
Formal verification 15k papers
Child
Functional verification 3,420 papers	Runtime verification 2,229 papers	Formal equivalence checking 1,235 papers	Language Of Temporal Ordering Specification 1,098 papers
Refinement 591 papers	Promela 579 papers	B-Method 220 papers

Trends

Notes

History