However, the high cost of using formal methods means that they are usually only used in the development of high-integrity and life-critical systems, where safety or security is of utmost importance.
Однак висока вартість використання формальних методів вказує на те, що вони, як правило, використовуються тільки при розробці високоінтегрованих і життєво-важливих систем, де надійність і безпеку мають першорядне значення.