What are the limitations of the Symbolic Model Checking?
As far as I know, "state-space explosion" can still happen by this technique but it can explore much larger state space.
So, is the Symbolic Model Checking always better than the conventional model checking? If not, when to apply which one?
By the conventional model checking I mean: Clarke Jr, Edmund M., et al. Model checking. MIT press.
And by Symbolic model checking I mean: McMillan, Kenneth L. "Symbolic model checking." Symbolic Model Checking. Springer, Boston, MA, 1993. 25-60.