Guidelines for exploiting formal methods in the tools to be developed in WP2

We explore the effect of transparency of fiscal institutions on the scale of government and gubernatorial popularity using a formal model of accountability. We construct an index of fiscal transparency for the American states from detailed budgetary information. With crosssection data for 1986-1995, we find that on average and controlling for other influential factors fiscal transparency increa...

Recent scientific findings about long-acting and permanent methods of contraception underscore their safety, effectiveness, and wide eligibility for individuals who desire them. This has led to new guidance from the World Health Organization to inform national policies, guidelines, and standards for service delivery. Although developing countries have made much progress in expanding the availab...

The introduction of formal methods into the commercial community has been slow. This might, in part, be due to lack of guidance for program managers responsible for execution of a program, who must justify added expense or time to delivery. This paper first provides managers with guidance in deciding if a particular project is a good candidate for the use of formal methods. After the go/no go c...