The Role of Proof in Software Development

Many software developers seem to think of proof as a of a sort of mathematical bludgeon that is used to intimidate people into accepting that a piece of software is correct. However, I see proof more as an explicit statement of the reasoning and assumptions that went into the construction of the software.  I see constructing a proof as more a way of exploring the problem and detecting errors than a way of convincing others.