This website uses cookies.
We use cookies to improve your online experience. By continuing to use our website we assume you agree to the placement of these cookies.
To learn more, you can find in our Privacy Policy.

information about Model checking field

Model checking

https://www.wikidata.org/wiki/Q1569697
Field Hierarchy
Parent
Computer science
55.7M papers
Mathematics
21.4M papers
Programming language
7.3M papers
Algorithm
4.6M papers
Theoretical computer science
632k papers
Current
Model checking
20.4k papers
Child
Computation tree logic
1,609 papers
Symbolic trajectory evaluation
1,362 papers
Formal equivalence checking
1,230 papers
Abstraction model checking
959 papers
Kripke structure
681 papers
Predicate abstraction
584 papers
Promela
576 papers
Partial order reduction
451 papers
Automated proof checking
268 papers
Trends
Field Trends