I have this old dream of building a great verification / formal methods as a service company with the right mix of axiomatic specifications, data and flow analy

I have this old dream of building a great verification / formal methods as a service company with the right mix of axiomatic specifications, data and flow analysis, abstract interpretation, model checking, type systems and theorem proving. And with time extract project methods into tools and frameworks, and evolve them. A bit like 37signals did by extracting Ruby on Rails from Basecamp. A source of inspiration is bridge engineering from the mid-to-late 1800s, when things became very rigorous thanks to applied mechanics and structure theory. Galois and SRI were doing some work in the area, but it has not become as big or central to their business as I would have expected.