On 28/09/2019 20:10, AK wrote:
>> Zwłaszcza że program w C można skompilować trzema lub więcej
>>   zupełnie różnymi kompilatorami - a w ten sposób sprawdzić, czy
>>   np. wyniki obliczeń nie zależą od kompilatora.
> Hehe. To jest _kpina_ a nie weryfikacja poprawnosci.

Mała uwaga: w dużych firmach w których małą błąd kosztuje życie tysięcy
ludzi (lotnictwo, energetyka itd itp) własnie taka kontrola ma miejsce.
Kila kompilatorów i kilka symulatorów (HDL) testujących ten sam kod.

Niestety ale nie ma chwilowo zewryfikowanego formalnie kompilatora
użytecznego języka, więc jeśli chcesz podnoscić bezpieczeństwo czasem i
takie metody mają sens.