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.
Các phương pháp hình thức có thể được sử dụng tại nhiều mức: Mức 0: Đặc tả hình thức có thể được thực hiện và rồi một chương trình được phát triển từ đặc tả này một cách không hình thức.