Попытка применить формальные методы для всех программных проектов так же плоха, как и попытка применить разработку кода и фиксирования ко всем проектам.