Model Checking - What is the difference between model checking and theorem proving?

Theorem proving is a human-operated procedure, whereas model verification is automated. In contrast to model checking, theorem proving is able to handle complicated formalisms. The benefits and drawbacks of model checking and theorem proving are mutually supportive.