Title: New Directions in Symbolic Model Checking