Pengertian Metode Formal
- Metode Formal didasarkan pada representasi matematis dan analisis perangkat lunak (kalkulus predikat digunakan sebagai dasar untuk bahasa spesifikasi formal).
- Metode Formal menggunakan konsep matematika diskrit sebagai mekanisme representasi dengan demikian pembuktian logis dapat diterapkan pada masing-masing fungsi yang dimiliki sistem sehingga dapat diketahui bahwa spesifikasi dari tiap fungsi tersebut benar dan logis.
