Safe Appliance Verification Applications