Level 1: Formal development and formal verification may be used to produce a program in a more formal manner.
1 Lygis: formali raida ir formali kontrolė (tikrinimas) gali būti naudojami sukurti programą formalesniu būdu.