Level 1: Formal development and formal verification may be used to produce a program in a more formal manner.
المستوى 1: التطوير الشكلي والتحقق الشكلي يمكن استخدامهما لإنتاج برنامج بطريقة أكثر شكلية.