I view "ship early" (and iterate!) as a superior verification strategy than formal methods for most typical software. Most errors occur much earlier in the pipeline than the authoring of the first line of code.