Visual Specification of Policies and their Verification