Formal methods can be used at a number of levels: Level 0: Formal specification may be undertaken and then a program developed from this informally.
Formalūs metodai naudojami keliais lygiais: 0 Lygis: gali būti pradėtos formalios specifikacijos ir tuomet iš to neformaliai vystoma programa.