On Thu, 26 Mar 2015 00:19:47 +0100, Andrzej Jarzabek
<a...@g...com> wrote:
> dowodzenie jest bardzo kosztowne - jest uważane za nieopłacalne
nawet

Dowód formalny nie pomoże na np. zagubienie przecinka i napisanie 314
zamiast 3.14.

Testy (jednostkowe) i audyt kodu mogą, ale nie muszą.

Trzecia droga to OC. Finansowa polisa na wypadek strat wywołanych
błędem.

Bo jak nie masz zoo to, teoretycznie, może być bardzo nieciekawie.

No i jeszcze: jeżeli zleceniodawca uważa że to robota dla jednego
człowieka... to albo jest głupi, albo to nie jest aż tak makabryczne
odpowiedzialne.