Research Concept

Model checking

Model checking is a scholarly concept indexed by CitedEvidence.

Works
60,435
Citations
581,293
Level
2
OpenAlex ID
C110251889