इसका टेक्स्ट मैसेज भेजे: JPF−AWT: Model Checking GUI Applications