Formal Verification
I'm no an expert in formal verification techniques, functional programming and all that, but it all sounds like so much marketing dross and academic wanking to me. There are good ideas in there, but when the source hits the metal, all bets are off. Limiting your options seems counter productive when it all boils down to object code in the end. I'd be happy to be enlightened as to the benefits, but it seems to me that rigidly followed development practices (heavy on testing, review and refactoring) and no-exceptions coding standards are the way to go. And yes, I know it almost never actually works that way in the Real World, but it would be nice if it did.
Biting the hand that feeds IT
