Anfonwch hwn fel neges destun: JPF−AWT: Model Checking GUI Applications