Level 1: Formal development and formal verification may be used to produce a program in a more formal manner.
Ниво 1: Формални развој и формална верификација се могу користити за производњу програма на формалнији начин.