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.
Формални поступци се могу користити на више нивоа: Ниво 0: Формална спецификација може се предузети, а затим програм развити од овога неформално.