Verification for Decision Model and Notation