Symbolic Methods For Exploring Infinite State Spaces