أرسل هذا في رسالة قصيرة: JPF−AWT: Model Checking GUI Applications