text: Однако высокая стоимость использования формальных методов указывает на то, что они, как правило, используются только при разработке высокоинтегрированных и жизненно-важных систем, где надёжность и безопасность имеют первостепенное значение.