Runtime verification

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

Field Hierarchy

Parent
Computer science 61.9M papers	Mathematics 21.8M papers	Programming language 7.6M papers	Algorithm 4.6M papers
Theoretical computer science 609k papers		Formal verification 15.4k papers
Current
Runtime verification 2,210 papers
Child
Runtime Callable Wrapper 0 papers

Trends

Notes

History