>> 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?

100,000 linii kodu to nie tak duzo - nie koniecznie w kontekscie
promu kosmicznego. Ale rownie dobrze mogloby to byc 10,000 albo 1,000,000
- i tak nie sposob wyobrazic sobie matematyczny dowod na poprawnosc
_kodu_ czyli kazdej linii z osobna, coponiektorych skladajacych sie
na poszczegolne funkcje i ich wszystkich jako calosci aplikacji ;-)

Natomiast mozna i nalezy analizowac mozliwie gleboko poprawnosc algorytmu.

i chyba dokladnie to mial na mysli przedpisca ;-).

pozdrawiam

romekk