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: المواصفات الشكلية يمكن تنفيذها وبالتالي يمكن تطوير برنامج منها بشكل غير شكلي.