Click here for the answer.

Formal verification is known for catching the subtle bugs. This very simple counter design has a subtle bug within it. See if you can find it.