metode formal Komputer Komputer | metode yang dikembangkan dari matematika dan logika yang digunakan saat memberikan atau mengevaluasi spesifikasi dari sistem komputer