As an alternative, various lightweight formal methods, which emphasize partial specification and focused application, have been proposed.
Kaip alternatyva (pasirinkimas), buvo pasiūlyti įvairūs lengvasvoriai formalūs metodai, pabrėžiantys dalinę specifikaciją ir kryptingą taikymą.