Lihat sumber Metode formal

'''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>R. W. Butler. [http://shemesh.larc.nasa.gov/fm/fm-what.html What is Formal Methods?]. 2001-08-06.</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>C. Michael Holloway. [http://klabs.org/richcontent/verification/holloway/nasa-97-16dasc-cmh.pdf Why Engineers Should Consider Formal Methods]. 16th Digital Avionics Systems Conference (27-30 October 1997). [http://klabs.org/richcontent/verification/holloway/nasa-97-16dasc-cmh.pdf Salinan arsip].</ref>

== Referensi ==
<references />

== Sumber dan atribusi ==

Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Metode+formal&oldid=23724814 Wikipedia bahasa Indonesia], revisi 23724814 (2023-06-22T02:02:04Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.

<!-- WIKI_UNISSULA_PRESENTATION_V4 -->