Formal metodlar

Formal metodlar — proqram təminatının analizi, dizaynı və təsdiqi üçün riyazi və formal yanaşmaların tətbiqini ifadə edir. Bu metodlar proqram sistemlərinin dəqiq tərifini və spesifikasiyasını təmin edir, beləliklə, proqramların doğruluğunu, etibarlılığını və keyfiyyətini artırmağa kömək edir.^[1] Formal metodlar, sistemlərin düzgün işlədiyini sübut etmək, xətaların aşkarlanmasını asanlaşdırmaq və proqramın müvafiq spesifikasiyaya uyğun olduğuna əmin olmaq üçün istifadə edilir.^[2]

↑ Holloway, C. Michael. "Why Engineers Should Consider Formal Methods" (PDF). 16th Digital Avionics Systems Conference (27–30 October 1997). 16 November 2006 tarixində orijinalından (PDF) arxivləşdirilib. İstifadə tarixi: 2006-11-16.
↑ Gulwani, Sumit; Polozov, Oleksandr; Singh, Rishabh. "Program Synthesis". Foundations and Trends in Programming Languages. 4 (1–2). 2017: 1–119. doi:10.1561/2500000010. 2024-09-27 tarixində arxivləşdirilib. İstifadə tarixi: 2024-10-29.

[1] Holloway, C. Michael. "Why Engineers Should Consider Formal Methods" (PDF). 16th Digital Avionics Systems Conference (27–30 October 1997). 16 November 2006 tarixində orijinalından (PDF) arxivləşdirilib. İstifadə tarixi: 2006-11-16.

[2] Gulwani, Sumit; Polozov, Oleksandr; Singh, Rishabh. "Program Synthesis". Foundations and Trends in Programming Languages. 4 (1–2). 2017: 1–119. doi:10.1561/2500000010. 2024-09-27 tarixində arxivləşdirilib. İstifadə tarixi: 2024-10-29.

[1]

[2]