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

Statystycznie nie, z powodów, które odpisałem Sławkowi.

> Niestety ale nie ma chwilowo zewryfikowanego formalnie kompilatora
> użytecznego języka,

http://compcert.inria.fr/doc/index.html

Ale właściwie nikt tego nie używa. To jest bardzo ciekawe zjawisko, bo pokazuje, że
jakości nie uzyskuje się kupując jakiś cudowny produkt.

--
Maciej Sobczak * http://www.inspirel.com