Formal verification the construction of an incorrect proof isomorphic to an incorrect program -

Related:

• User a harmless drudge --
  Glossary of Software Engineering...
• Compiler a tool for adding an exciting amount of uncertainty to the size,
  speed and correctness of a program -- Glossary of...
• Computer human interface the means by which the program conditions the user into never trying all the things that don't work -
  Glossary of Software Engineering...
• Function point analysis cost modelling a program by what it won't do,
  rather than by how big it won't be -- Glossary of...
• Debugger a tool that substitutes afterthought for forethought -
  Glossary of Software Engineering...
• Design the activity of preparing for a design review -
  Glossary of Software Engineering...
• Requirements engineering convincing the customer to want what you think you can build -
  Glossary of Software Engineering...
• Programmer one who is too lacking in people skills to be a software engineer -
  Glossary of Software Engineering...
• Programs what software used to be, back when we knew how to write it -
  Glossary of Software Engineering...