Difference between Formal Verification through Model Checking & Assertion Based Formal Verification

[Karan]

In reply to ben@SystemVerilog.us:

Are Model Checking & Assertion Based Formal Verification same?