" leszek" <s...@N...gazeta.pl> wrote in message
news:b28pau$rus$1@inews.gazeta.pl...

> To brzmi bardzo ładnie, ale jak zamierzasz udodnić matematycznie
poprawnośc
> programu liczącego 100 tysięcy linii kodu - mniejszych nie warto pisać.
> Dowieść można i nalezy poprawności działania algorytmu, a nie programu.

Skąd wzięła Ci się liczba 100000 linii kodu w kontekście oprogramowania dla
aparatury szpitalnej tudzież sondy kosmicznej? Czy słyszałeś może o theorem
proverach?

Tomek Z.