This is the case, for example, in critical applications where any errors in the algorithm would have very serious consequences; or when using a computer to prove a mathematical theorem.
To je slučaj, na primer, u kritičnim aplikacijama gde svaka greška u algortimu ima veoma ozbiljne posledice; ili kada koristite računar da dokažete matematičku teoremu.