Enviar aquest missatge de text: Abstract interpretation and partition refinement for model checking /