Model Checking - What are the advantages of model checking?

Model checking, in contrast to theorem proving, has the benefits of being both fully automated and fast, typically providing findings within minutes. Even in cases when the system is not yet completely described, it is capable of verifying incomplete requirements and yielding insightful information on the system's soundness.