इसका टेक्स्ट मैसेज भेजे : Abstract interpretation and partition refinement for model checking /