Model checking

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

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
Model checking 19.9k papers
Child
Computation tree logic 1,557 papers	Symbolic trajectory evaluation 1,346 papers	Formal equivalence checking 1,214 papers	Abstraction model checking 935 papers
Kripke structure 669 papers	Predicate abstraction 571 papers	Promela 558 papers	Partial order reduction 425 papers
Automated proof checking 267 papers

Trends

Notes

History