Model Checking Programs Using List