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.
Megjithatë, kostoja e lartë e përdorimit të metodave formale nënkupton që zakonisht përdoren vetëm në zhvillimin e sistemeve të integritetit të lartë dhe atyre jetësore , ku siguria është me rëndësi të madhe.