Metode formal: Perbedaan antara revisi

'''Metode formal''', dalam [[ilmu komputer]] dan rekayasa [[peranti lunak]], adalah suatu pemodelan [[matematika]], yang dapat digunakan untuk menjembatani (spesifikasi formal) pembuatan, pengembangan dan verifikasi [[perangkat keras]] dan peranti lunak, yang dapat digunakan dari perancangan awal sampai pengujian hasil.<ref name="butler">{{cite web|author=R. W. Butler|title=What is Formal Methods?|url=http://shemesh.larc.nasa.gov/fm/fm-what.html|date=2001-08-06|accessdate=2006-11-16}}</ref> Penggunaan metode formal untuk perancangan peranti lunak dan perangkat keras didasari atas suatu pengharapan, sebagaimana terdapat dalam disiplin ilmu-ilmu rekayasa lainnya, dengan melaksanakan analisis matematis yang sesuai dapat berkontribusi pada kepercayaan (reliabilitas) dan ketahanan (robusitas) suatu rancangan.<ref>{{cite paper|author=C. Michael Holloway|title=Why Engineers Should Consider Formal Methods|url=http://klabs.org/richcontent/verification/holloway/nasa-97-16dasc-cmh.pdf|publisher=16th Digital Avionics Systems Conference (27-30 October 1997)|accessdate=2006-11-16}} {{WebarchiveCite web |url=http://klabs.org/richcontent/verification/holloway/nasa-97-16dasc-cmh.pdf |title=Salinan arsip |access-date=2007-09-03 |archive-date=2012-06-06 |archive-url=https://web.archive.org/web/20120606001801/http://klabs.org/richcontent/verification/holloway/nasa-97-16dasc-cmh.pdf |datedead-url=2012-06-06yes }}</ref>