Kamu bisa jelasin ke aku soal Kaedah formal dalam bahasa melayu?

Dalam sains komputer dan kejuruteraan perisian, kaedah formal adalah teknik-teknik berasaskan matematik untuk spesifikasi, pembangunan dan pengesahan sistem perisian dan perkakasan.