Runtime verification

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

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		Formal verification 14.6k papers
Current
Runtime verification 2,129 papers
Child

Trends

Notes

History