Some practitioners believe that the formal methods community has overemphasized full formalization of a specification or design.
Kai kurie praktikuojantys asmenys mano, kad formalių metodų bendruomenė per daug pabrėžia visišką specifikacijos arba formalizavimą.