« Never Let Me Go by Kazuo Ishiguro | Main | Mark Chu-Carrol on Haskell »

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.

Reader Comments

There are no comments for this journal entry. To create a new comment, use the form below.

PostPost a New Comment

Enter your information below to add a new comment.
Author Email (optional):
Author URL (optional):
All HTML will be escaped. Hyperlinks will be created for URLs automatically.