Formal Methods When Money is Tight

Formal methods have been shown to improve the quality of software, but they are seldom if ever used outside the safety-critical system domain. Typically, the initial cost of creating formal requirements speci cations is perceived to be prohibitively large while not necessarily guaranteeing future bene ts. In this paper we discuss ways of tailoring formal methods to suit current economic realities.