Formal Methods in Policy Formulation