Probably the hottest business idea of the moment in BTC

[MPOE-PR]

There is a miscommunication going on here.

I'm pretty sure that killerstorm had mathematical formal verification in his mind.

http://en.wikipedia.org/wiki/Formal_verification

The ISO stuff mentioned by spyked is a bureaucratic formal verification of management processes, possibly in relation to information technology.

I think the best summary of the ISO certificates is with the old Russian joke: a certificate that you aren't a camel.

http://en.wikipedia.org/wiki/Russian_jokes

I'm pretty sure the spyked guy was talking about formal verification (as per your first link).

I have no idea what killerstorm is blabbering about, as it doesn't seem to amount to more than "I don't like this person and I think I'm smart therefore blablabla" sort of nonsense.

[killerstorm]

I have no idea what killerstorm is blabbering about, as it doesn't seem to amount to more than "I don't like this person and I think I'm smart therefore blablabla" sort of nonsense.

Dunning–Kruger at its finest.

[enquirer]

Patently idiotic idea. Do you think Microsoft or Google lack funds or desire to create software without bugs? They still ship products full of bugs, because it is mathematically impossible to prove correctness of a program. That's because the space of all possible inputs is exponentially large and you can't test them all.
Testing is an art, not a science.

[MPOE-PR]

Patently idiotic idea. Do you think Microsoft or Google lack funds or desire to create software without bugs? They still ship products full of bugs, because it is mathematically impossible to prove correctness of a program. That's because the space of all possible inputs is exponentially large and you can't test them all.
Testing is an art, not a science.

It's a fact they lack the desire. They are immune to any sort of responsibility for pushing out shit code. Bitcoin operators are not. Someone will have to come to terms with this difference. Whoever does it sooner wins.