On 2019-09-30 18:33, heby wrote:
> On 30/09/2019 09:27, Maciej Sobczak wrote:
>> Spróbuj rozwiązać ten problem i wtedy zobaczysz, że nie trzeba 3
>> kompilatorów. Dlatego tej metody się nie używa.
>
> Zabawne, bo w kilku krytycznych miejscach i za duże pieniądze się używa.
> Firmy kupują choelrnie drogi soft robiący to samo, ale od różnych
> producentów tylko po to aby się upewnić że działanie ich kodu jest
> zamierzone a nie tylko że to artefakt narzędzia.

Hehe. Gdy sie wybralo takie nieweryfikowalne barachlo jak C/C++
do rzeczy krytycznych, to sie trzeba pozniej takimi "technikami
weryfikacji" podpierac :)

AK