أرسل هذا في رسالة قصيرة: Abstract interpretation and partition refinement for model checking /