The most widely available, useful, and best-bang-for-buck formal method is using a good type system.