Model Checking on the Tech Tree