j...@p...onet.pl pisze:
>> Uczono mnie logiki Hoare'a. Czy takie akademickie rozważania bywają stosowane w
>> praktyce?
>
A do czego Ci to potrzebne? Poza tym dobrze zrobione testy są
wystarczające. Czegoś trudniejszego od "hallo world" nie jesteś w stanie
dowieść.


> Pytam, bo zdaję sobie sprawę, że dowodzenie poprawności nawet prostego programu,
> np. algorytmu sortowania, jest żmudne.
>
Ktoś na którejś grupie już poruszał kwestię - opracowano algorytm,
dowiedziono poprawności po czym okazało się, że algorytm się sypie bo
rzeczywisty komputer ma skończony zbiór wartości reprezentowanych w int.

--
Pozdrawiam
Michoo