KindSoftware, LLC is a company that gently introduces developers to formal methods through the sale and support of tools that 'sneak' formal methods in under an 'informal' cover. They are also very active in the OpenSource community.
See http://www.kindsoftware.com/ for more details.