Model Checking Programs Using Dictionary