Verifying Application Exit